AI生成の数学には人間の問題が存在

Hannah Press著

AI数学の進歩はさらに新たなベンチマークに達しました。Meta社が、数学者たちが同社のMuse Sparkモデルで執筆した複数の論文を公開した数日後に、OpenAIは未発表モデルによる700本以上の原稿を公開しました。

重要な理由：AIは、人間が読むよりも速いスピードで数学研究を発表しています。以前の議論は、人間がAIを導き、AIが速く動くことで失うものについてでした。証明や定理の世界をはるかに超えて、この最新の計算は次のような問いを投げかけています。もし私たちがそのペースについていけなくなったら、どうなるのでしょうか。

ニュースの推進：OpenAIの数学に関する論文は、372の成果群を網羅しています。同社によれば、それぞれが数学または理論計算機科学における未解決問題の解決、あるいはその解決に向けた大きな進展をもたらしているとのことです。証明の多くは、ソフトウェアによってロジックのエラーがないかチェックされています。他のものはそうではありませんが、OpenAIはそれらに誤りが含まれている可能性があることを認めています。

専門家たちの発言：今週の「Mixture of Experts」では、AI生成数学の最新の進歩が、その内容を理解しなければならない人々にとってどのような意味を持つのかを、パネリスト達が議論しました。IBM

フェローのKush Varshney氏は、数学はほとんどの人が学校で学んだ分数や掛け算以上のものだと言います。「それは、いくつかの公理や公理によって定義される世界に組み込まれる思考プロセスであり、一部の性質が保持されていることを間違いなく明確に示すことができます」と彼は言います。「それは理解の旅です。

IBMの上級研究科学者であるSkyler Speakman氏は、人間の注意力には限界があると指摘しました。「私たちはこの意味において有限な存在です」と彼は言います。「これは、AIが生成したコンテンツを人間が整理するトレッドミルの始まりなのでしょうか。他の場所でもそれが行われているのを見てきましたが、ここで本当に数学の分野で定着しているのでしょうか」。

行間：AIが答えを見つける作業を行っている場合、人間は答えを理解する責任を負います。Varshney氏は、数学者が通訳者になるという考えを提起したQuanta Magazineの最近の記事を引用しました。「数学を行っているのは人間ではなく、彼らはそれを解釈し、全人類のためにそれを理解しているのです」と彼は言います。

反対側：IBMのフォワード・デプロイ・エンジニアであるUtsav Dholakia氏は、結局のところ、人間が遅れをとっても損失にはならないかもしれないと主張しました。「私たちの周りの世界のいくつかの根本的な側面を明らかにするのに役立つ可能性のある別のツール、別の種類の仮想知的存在が存在するとしたら、本当に悪いことでしょうか。」と彼が尋ねると、「おそらく、私たちの脳は、3次元や4次元を超えて考察するように設計されていないかもしれません」。

注目すべきこと：これまでのところ、AIは数十年にわたって数学者が投げかけてきた問いに取り組んできました。Speakman氏は、「いつAIは新しい数学の質問をできるようになるのか」という次の大きな質問を投げかけました。

「 Mixture of Experts」の全エピソードはYouTube、Spotify、またはApple Podcastsで聴くことができます。