OpenAIの汎用推論モデルが、1946年以来80年間にわたって未解決だったエルデシュの単位距離予想（平面上のn点間で距離がちょうど1になるペアの最大数に関する予想）を自律的に反証しました。数学専門のシステムではなく汎用モデルが証明を構築した点が注目を集めており、外部の数学者グループによる独立した検証も完了しています。
エルデシュ予想は離散幾何学における古典的な難問で、世界中の数学者が長年にわたって挑み続けてきたものです。今回の反証では、代数的整数論と離散幾何学の間に予想外の関係が明らかになったとされており、単に予想を否定しただけでなく、新しい数学的洞察をもたらした可能性があります。数学専用のシステムを用いずに達成された点は、汎用推論モデルの能力が記号的推論（シンボリック・リーズニング）の領域に本格的に踏み込んできたことを示しています。
Hacker Newsでは「AIが真の数学的発見を行った最初の明確な事例」と興奮するコメントが多数寄せられました。同時に「しかし証明の手法を人間が完全に理解できるかが課題」という冷静な分析も上がっており、AIが生み出した数学的証明の解釈可能性という新たな問いが浮上しています。r/MachineLearningとr/mathの両コミュニティで大きな話題となり、「汎用推論モデルが専用数学AIなしに達成した点が重要」という評価が優勢です。X上でも数学者とAI研究者の双方から「AIの能力が転換点を迎えた」という反応が多数見られました。
AIが未解決の数学問題を解くというシナリオは以前から議論されてきましたが、今回は外部専門家による検証を経た確かな実績として記録されました。この成果が定理証明支援ツールや数学教育にどう活用されていくのか、また同様のアプローチで他の未解決問題に挑む研究が加速するかが今後の焦点となります。