OpenAI は、新しい推論モデルが、幾何学における有名な未解決の予想を否定する独創的な数学的証明を生み出したと主張しています。その予想は1946年にポール・エルデシュによって最初に提起されました。
もしそれが聞き覚えのある話に聞こえるなら、それは、OpenAIがこれほど大胆な主張をしたのが今回が初めてではないからです。7か月前、AI大手の元VPのケビン・ワイルがXにこう投稿しました。「GPT-5は、（！）これまで未解決だったエルデシュの問題10件に対する解を見つけ、他の11件でも進展をもたらしました。」
結局のところ、GPT-5は実際にはそれらの問題を解いてはいませんでした。文献の中ですでに存在していた解を見つけただけでした。
ヤン・ルクンや、Google DeepMindのCEOであるデミス・ハサビスのようなライバルからの揶揄が続き、ワイルはすぐにその時期尚早な投稿を取り下げました。少なくとも今日のところ、OpenAIは同じ過ちを二度は繰り返さなかったようです。発表とともに同社は、ノガ・アロン、メラニー・ウッド、そしてエルデシュ・プロブレムズのWebサイトを運営し、以前ワイルの投稿を「劇的な誤った表現」だと呼んでいたトーマス・ブルームなどの数学者による反証を裏づける補足的なコメントを公開しました。
「約80年にわたり、数学者たちは、最良の解はおおむね正方格子のような形に見えるはずだと考えてきました」OpenAIがXに投稿しました。「しかしOpenAIのモデルは、その信念を今や打ち消しました。より優れた性能を発揮するまったく新しい一群の構成を発見したのです。」
同社によれば、今回の出来事は「AIが、自律的に、数学の一分野の中核にある著名な未解決問題を解いたのは初めて」だということです。証明は、数学問題、あるいは少なくともその問題に特化して設計されたシステムではなく、新しい汎用の推論モデルによって得られた、とOpenAIは述べています。
OpenAIは、これが重要なのは、AIシステムがこれまで研究者が十分に探究してこなかった形で、長く困難な推論の連鎖をつなぎ合わせたり、分野をまたいでアイデアを結びつけたりできるようになってきたことを意味するためだとしています。これは、生物学、物理学、工学、そして医学への影響もあります。
「AIは、私たちが何世紀にもわたって築いてきた数学の大聖堂を、より深く探究する手助けをしてくれています」とブルームは声明で述べました。「舞台裏で待ち受けている、他の目に見えない驚異は何でしょうか？」
