OpenAIの汎用推論モデルが、数学界で約80年間未解決だった「平面上の単位距離問題」に対する反証を提示した。この成果は、AIが単なる計算補助ツールを超え、独創的な着想を持つ研究パートナーへと進化したことを強く示唆している。
数学界における長年の難問が、AIの手によってついに解かれた。OpenAIが発表したところによれば、同社の汎用推論モデルが、1946年にポール・エルデシュが提唱した「平面上の単位距離問題」に対し、従来の定説を覆す反証を提示した。この問題は、平面上に配置されたn個の点において、距離が正確に1であるペアが最大いくつ存在し得るかという、一見単純ながら極めて奥深い幾何学の難問である。これまで数学界では、正方形グリッドの構成が最適であるという仮説が長年信じられてきたが、AIは代数的整数論の高度な手法を駆使し、それを上回る多項式的な改善をもたらす無限の構成例を導き出した。特筆すべきは、このモデルが数学専用に訓練されたシステムではなく、汎用的な推論能力を持つモデルであったという点だ。フィールズ賞受賞者のティム・ガワーズ氏をはじめとする専門家らは、この成果を「AI数学におけるマイルストーン」と評価し、AIが既存の枠組みにとらわれない直感と、長期的かつ複雑な論理構築能力を備えていることを認めている。これまでAIによる数学的証明は、既存の定理の検証や補助的な作業にとどまることが多かった。しかし、今回の発見は、AIが人間には到達困難だった未知の領域を切り拓く「独創的な探求者」になり得る可能性を提示した。一方で、この証明が提示した「δ=0.014」という改善幅が、数学的構造の深淵においてどのような意味を持つのか、あるいはこの手法が他の未解決問題にどこまで応用可能なのかについては、今後さらなる検証が必要となる。AIが提示したこの「直感」と「論理」の融合は、科学研究のあり方を根本から変える転換点となるかもしれない。人間とAIが共同で数学のフロンティアを拡張する時代は、もはやSFではなく、現実のものとなったと言えるだろう。
OpenAIの汎用推論モデルが、ポール・エルデシュが1946年に提唱した「単位距離問題」の反証を提示した。従来の定説であった「正方形グリッドが最適」という仮説を覆し、多項式的な改善を示す無限の構成例を導き出した。数学専用の設計ではなく、汎用モデルが自律的に代数的整数論の知見を応用して証明を構築した。フィールズ賞受賞者を含む数学者グループが、この証明の妥当性を確認し、AI数学の歴史的マイルストーンと評価した