OpenAIは、同社の汎用推論モデルが平面単距離問題の中心的予想を反証したと発表しました。この問題は1946年にポール・エルデシュが提示し、約80年間にわたり未解決が続いていました。
従来の認識では、正方形グリッド構成が単距離ペアの最大化において本質的に最適であると考えられていました。しかし、今回のモデルは多項式的改善をもたらす無限系列の例を提供しています。証明は外部の数学者グループによって検証済みです。
興味深いのは、この成果が数学特化型システムではなく、汎用推論モデルから生まれた点です。OpenAIは、先進的なモデルがフロンティア研究に貢献できるかをテストする一環として、複数のエルデシュ問題への適用を評価していました。
フィールズ賞受賞者のティム・ガウーズ氏は、この結果を「AI数学のマイルストーン」と評しています。また、数論学者のアルウル・シャンカル氏も、現在のAIモデルが人間の補助ツールを超え、独自の創意工夫を実行に移す能力を有していると述べています。
出典: An OpenAI model has disproved a central conjecture in discrete geometry(HN 1429pt・1055コメント)(HN Search (backfill)、2026-05-21)