OpenAIの新たな汎用推論モデルが幾何学の未解決問題「平面単位距離問題」を反証

OpenAIは、同社の新たな​​汎用推論モデル​​（​general-purpose reasoning model​）が、離散幾何学において​​約80年間​​にわたり数学者たちを悩ませてきた「​​平面単位距離問題​​（​planar unit distance problem​）」の長年の予想を自律的に反証したと発表しました。

平面単位距離問題は、​1946年​​に高名な数学者​​ポール・エルデシュ​​が提唱したもので、「平面上に $n$ 個の点を配置したとき、距離がちょうど 1 となる点のペアは最大でいくつ作れるか」という、シンプルながら非常に難解な問題です。

これまで数学者の間では、正方形の格子状に点を並べる「正方格子」の構成が最適に近いと予想されていましたが、OpenAIのモデルはこれを破る無限のexamples（無限の点配置ファミリー）を自力で発見し、予想を覆す証明を構築しました。

この証明は外部の著名な数学者グループによって精査され、正当性が完全に確認されました。さらに数学者チームは、この発見の意義を解説する論文も共同で執筆しています。

特に特筆すべき点は、この偉業が数学専用に微調整されたAIや、証明探索に特化したシステムではなく、一般的な推論能力を学習した​​汎用推論モデル​​によって自律的に達成されたという事実です。これは、AIの論理的・科学的探究能力が新たな高みに達したことを示しています。