OpenAIは最近、自社の最新の汎用推論モデルが独自の数学的証明を提供し、1946年に有名な数学者パウル・エルジェスが提案した未解決の幾何学的予想を覆したと発表した。OpenAIは、数学の特定分野の核心であるよく知られた公知の問題を人工知能が独立して解決したのはこれが初めてであり、承認に関わった多くの数学者も今回は誤報ではないと信じていると述べた。

OpenAIが「エルドス問題を克服するAI」に関して注目を集める声明を発表したのはこれが初めてではないことは注目に値する。約7か月前、同社の当時の副社長であるケビン・ワイル氏がソーシャルプラットフォームに投稿したが、すぐに誰かが、モデルのいわゆる「解」は実際には数学文献にすでに存在しており、GPT-5は実際に新しい解を発見したのではなく、既存の結果から「調べた」だけであると指摘した。 Google DeepMind CEOのデミス・ハサビス氏やヤン・ルカン氏などのライバルたちから嘲笑される中、ウィアー氏は最終的に投稿を削除したが、この投稿は「誇張されている」と批判された。

おそらくこの経験のため、OpenAI は今回のリリースでは明らかにより慎重になっています。同社は結果を発表すると同時に、この幾何学的な予想を覆すことの厳密さを実証するために、多数の数学者によって書かれた「補足解説」文書を発表した。これらの共同数学者には、ノガ・アロン、メラニー・ウッド、トーマス・ブルームが含まれます。ブルーム氏はウェブサイト「エルドス問題」を管理しており、前回の論争でのウィアー氏の発言は「非常に劇的な誤解を招くものだ」と批判した。今回、彼はOpenAIを支持し、新しい証拠を支持した。

OpenAI が記事を公開しました。 OpenAI によると、この結果は一般的な推論モデルから得られたものであり、問​​題を解決するために特別に設計された数学システムではなく、この幾何学的な問題のために「カスタムトレーニングされた」アルゴリズムでもありません。

OpenAI は、この結果の重要性は単一の命題そのものを超えており、「長鎖推論」と「クロスドメイン概念の接続」における現在の AI システムの能力の向上を反映していると考えています。このようなモデルは、人間の研究者がまだ試みていない、または系統的に探索していない複雑な空間の構造パターンを探索することにより、生物学、物理学、工学、医学などの多様な分野での新たな発見につながると期待されています。つまり、AIはもはや既存の証明を検証したり、既存の文献を検索したりするだけではなく、「新しい構造やアイデアを提案する」という、より積極的な役割を果たし始めているのです。

ブルーム氏は声明の中で、人工知能は人間が「何百年もかけて一緒に築いてきた数学の大聖堂をより深く探索する」のに役立っていると述べた。彼はこう尋ねた。「まだ明かされるのを待っている、まだ見ぬ奇跡がどれくらいあるでしょうか？」 「AIは本当に独創的な科学的発見を行えるのか」という議論がいまだ沈静化していない中、数学界の検討を経て承認されたこの幾何学的予想の反例は、その後の議論の重要な参考点となるかもしれない。