OpenAIのAI、新たな証明で80年来の数学の難問を解決

OpenAIの推論モデルが、1946年以来未解決のままだった有名な幾何学予想「エルデシュの単位距離問題」を覆す独自の証明を提示し、AI主導の科学的発見の新たな時代の幕開けを告げた。

「これはAI数学におけるマイルストーンだ」と、フィールズ賞受賞者でケンブリッジ大学教授のティモシー・ガワーズ氏は解説論文で述べ、数学者たちは詳細を読む前に「座っていることを確認する必要がある」かもしれないと付け加えた。

数十年にわたり、数学者たちはこの問題の最適解は正方形の格子に似たものだと信じてきた。OpenAIのモデルは、無限類体塔やゴロド・シャファレヴィッチ理論といった代数的数論のツールを用い、これまで可能と考えられていたよりも多くの単位距離のペアを生成する、全く新しい構成の族を発見した。

この突破口は、汎用AIが遠く離れた分野のアイデアを連結して複雑な問題を解決できるようになったことを示唆しており、生物学、物理学、工学の研究開発に重大な影響を及ぼし、GoogleのDeepMindのような企業にも影響を与える可能性がある。

これはOpenAIにとって大きな転換点となる。同社は7か月前、元幹部がGPT-5がいくつかのエルデシュ問題を解決したと時期尚早に主張したことで批判を浴びていた。それらの主張は、AIが単に文献にある既存の解を見つけただけだと指摘したトーマス・ブルーム氏ら数学者によって即座に論破された。今回は、ブルーム氏も新しい証明を検証する解説論文の共同執筆者に名を連ねている。ブルーム氏は声明で「AIは、我々が何世紀にもわたって築き上げてきた数学の大聖堂を、より完全に探索する手助けをしてくれている」と述べた。

伝説的な数学者ポール・エルデシュが最初に提起したこの問題の核心は、平面上で正確に1単位離れた点のペアの最大個数を問うものである。AIの解法は、その結果だけでなく手法も驚くべきものだった。伝統的な幾何学的アプローチを用いる代わりに、このモデルは、ほとんどの研究者が関連があると考えていなかった深い代数的数論と問題を結びつけた。プリンストン大学の数学者ウィル・サウィン氏はその後、AIの結果を洗練させ、改善のための具体的な指数を提示した。

数学の問題に特化したモデルではなく、汎用推論モデルを使用したことが、この成果を特に注目すべきものにしている。これは、AIシステムが長く困難な推論の連鎖を維持し、異なる領域間の明白ではない関連性を明らかにする能力を発達させていることを示している。この能力は、複雑で学際的な思考に依存する他の科学分野において、AI支援による突破口の先駆けとなる可能性がある。

ノガ・アロン氏やアルル・シャンカール氏を含む著名な数学者たちがこの発見を支持しており、シャンカール氏は、この研究がAIは「真に独創的で創造的なアイデアを生み出すことができる」ことを示していると述べている。この出来事は、AIの真の科学的貢献の可能性に関する長年の議論に一石を投じるものであり、その対話はこれまでGoogleのDeepMindやMetaのAI責任者ヤン・ルカン氏といったライバルたちによって支配されることが多かった。投資家にとって、これはAI研究に投じられている莫大な資本が、消費者向けのチャットボットを超えた基礎的な成果を生み出していることを示唆しており、AI開発の最前線にいる企業への長期的な投資ケースを強化するものである。

本記事は情報提供のみを目的としており、投資勧誘を目的としたものではありません。