OpenAIのAI、数学・物理の未解決問題を解いたと主張

OpenAIは、同社が社内で開発・運用しているAIモデルが、数学・コンピュータ科学・物理学の分野で長年未解決だった問題を3つ解いたと発表した。そのうちの一つは、世界で最も難しい数学の未解決問題を集めた「ミレニアム懸賞問題」に関連するものとされており、各問題には100万ドルの賞金が懸けられている。OpenAIはこの成果についてノーベル賞受賞者を含む外部の専門家に証明の検証を依頼しており、現在その作業が進められている。

ミレニアム懸賞問題とは、2000年に米国のクレイ数学研究所が設定した7つの数学的難問のことだ。今日に至るまで正式に解かれたのはそのうち1問だけであり、残る6問は数十年にわたって世界中の数学者が挑み続けている。AIがこうした問題に挑むこと自体は近年少しずつ試みられてきたが、これほど高い難度の問題で具体的な証明を示したと主張する事例は前例がなく、今回の発表は異例の規模感を持つ。

今回の3つの成果のうち、特に注目されているのがコンピュータ科学の分野の証明だ。OpenAIによると、この証明が単独で成立する場合、その根拠となっている既存の研究論文が数百本にわたって影響を受ける可能性があるという。コンピュータ科学の理論的な基盤の一部がこの証明に依存しているとすれば、研究コミュニティ全体への波及は小さくない。

証明の正しさを確かめる検証作業は、現在も継続中だ。外部の専門家チームがその内容を精査しており、なかにはノーベル賞受賞者も含まれると報告されている。数学や物理学の分野では、証明が本当に正しいかどうかを確認するには相当な時間と専門知識が必要とされる。このため、現時点では「成果が確認された」ではなく「成果の検証が進められている」という段階にある。

AIが数学的証明を自動生成できるかどうかは、AI研究における長年の課題の一つだ。記号を並べて数式を操作するだけでなく、論理の飛躍がなく筋道立った証明を作ることは、現在のAIにとって特に難しい作業とされてきた。今回の主張が検証によって裏付けられれば、AIが純粋な数学的推論において一定の水準に達したことを示す事例と位置づけられる可能性がある。

一方で、AIが生成した証明をどのように評価するかという問いも浮かぶ。証明の内容が正しかったとしても、それがAI独自の発見なのか、学習データをもとにした推論の延長なのかは、現時点では判断が難しい。外部検証の結果が明らかになるにつれ、AIが数学・科学の研究でどのような役割を担えるかについての議論が、より具体的になっていくとみられる。

今後の焦点は、外部専門家による検証がどのような結論を出すかにある。証明が正式に認められればAIの能力評価に一石を投じることになり、逆に問題が見つかれば、AIの証明生成能力の現在地を測る上での重要な参照点になる。いずれの結果であっても、AI×数学という領域の研究に大きな影響を与えることは間違いないだろう。