OpenAIが数学の未解決問題を含む722本の論文を公開

OpenAIが内部のフロンティアモデルを用いて生成した、722本もの数学的成果を公開しました。これには長年数学者を悩ませてきた難問の証明が含まれており、AIが科学と数学の境界を押し広げている現状を解説します。

AIが導き出した驚異的な数学的成果

OpenAIは「内部フロンティアモデル」を使用し、合計722本の論文をGitHubで公開しました。主な成果として、以下の2つの難問へのアプローチが紹介されています。 ・「無理数角度を持つ三角形のビリヤード問題」：ほぼ全ての光線が領域内のあらゆる場所を均等に訪れることを証明したと主張しています。 ・「共形写像による穴の変形」：複雑な形状の穴を持つ領域を、角度を保ったまま完璧な円や点に変換できることを示しました。 これらは人間にとって証明が極めて困難だった問題です。

「エレガントではない」証明への賛否

AIが生成した証明は、人間が好む「エレガントな論理」ではなく、膨大な計算と数値の羅列（動画内では「吐瀉物の塊」と表現）に近いものがあります。数学界では、単に答え（Yes/No）が分かれば良いとする「ツール重視」の立場と、証明を通じて新しい概念を学びたいとする「理解重視」の立場で意見が分かれています。

急速に進化するAIの数学能力

AIの数学能力は、ここ数年で劇的な進化を遂げています。 ・6年前（GPT-3）：簡単な足し算すらおぼつかなかった。 ・2年前：高校レベルの数学オリンピック問題に苦戦していた。 ・現在：人間が解けなかったミレニアム懸賞問題の一つである「ナビエ–ストークス方程式」に関連する成果や、準リーマン予想に関する199ページに及ぶ論文を生成するに至っています。

クローズドな開発体制への懸念

これらの成果は、一般には公開されていない極めて強力なモデルによって達成されました。話者は、科学や数学をこれほど進展させる技術が一部の「フロンティア・ラボ」に独占されている現状に懸念を示しており、誰もが利用・検証できる「オープンウェイトモデル」の重要性を強調しています。

なぜ重要か

AIが生成した証明の中には、コミュニティからのフィードバック（別のLLMを用いた検証の可能性あり）によって、符号の誤りから撤回に追い込まれた論文も既に3本存在します。AIは「答え」を出す速度を劇的に上げましたが、その正当性を人間が理解・検証するプロセスが追いつかないという新たな課題に直面しています。

こんな人におすすめ

AIによる科学的発見の最前線に興味がある方や、AIが数学研究のあり方をどう変えようとしているかを知りたい研究者・学生に適しています。