OpenAI のモデルが離散幾何の難問を反証、80 年未解決のエルデシュ予想を覆す

OpenAI は 2026 年 5 月 20 日、同社の汎用的な推論モデルが離散幾何学の長年の未解決問題に取り組み、約 80 年にわたって信じられてきた予想を反証したと発表しました[1]。対象となったのは、数学者ポール・エルデシュが 1946 年に提起した「単位距離問題」です[1][2]。OpenAI は、AI が数学の一分野で中心となる未解決問題を自力で解いたのはこれが初めてだと位置づけており、得られた証明は外部の数学者グループによって検証済みだとしています[1]。

「単位距離問題」とは何か

単位距離問題は、平面上に n 個の点を配置したとき、ちょうど距離が 1 になる点のペアを最大でいくつ作れるかを問う問題です[2]。エルデシュが 1946 年に提起して以来、約 80 年にわたって数学者を悩ませてきた離散幾何学の代表的な難問の一つです[1][2]。

この問題では、点を碁盤の目のように並べた「正方格子」の構成が古くから知られており、ペア数を多く稼ぐ有力な手段とされてきました[1]。長い間、数学界では「正方格子に近い形の構成こそが本質的に最良であり、それを大きく上回る構成は存在しない」と広く信じられてきました[1]。今回 OpenAI のモデルが反証したのは、まさにこの長年の予想です[1]。

単位距離問題は、設定こそ「平面上の点と距離」というごく単純なものでありながら、最良の構成や正確な上限がなかなか定まらないことで知られてきました[2]。エルデシュ自身が数多く残した未解決問題の中でも、離散幾何学の発展を象徴する一題として繰り返し取り上げられてきた経緯があります[2]。

モデルが見つけた新しい構成

OpenAI によると、同社のモデルは正方格子を上回る性能を持つ、まったく新しい構成の「無限系列」を発見しました[1]。これにより、従来の正方格子による達成水準に対して多項式オーダーの改善がもたらされるとしています[1]。単発の一例ではなく、無限に続く構成の系列が示された点が、結果の一般性を裏づけています。

特に注目されているのは、この構成の核となる発想が「代数的整数論」という、離散幾何学とは大きく異なる数学分野から来ていることです[1]。代数的整数論は、整数を拡張した「代数体」と呼ばれる体系における因数分解などを扱う分野です[1]。数論と離散幾何学という、一見つながりの薄い二つの領域を結ぶ橋が見いだされたことが、今回の成果が単なる一つの予想の決着にとどまらない理由だと OpenAI は説明しています[1]。

汎用モデルによる成果と検証体制

今回の証明は、数学専用に訓練されたシステムや、証明戦略を探索するための足場(スキャフォールド)を組んだ仕組み、あるいは単位距離問題に特化して調整されたモデルから生まれたものではありません[1]。OpenAI は、新しい汎用的な推論モデルがそのまま問題に取り組んだ結果だと強調しています[1]。なお、使用された具体的なモデル名は今回の発表では明示されていません。

得られた証明は、外部の数学者グループが内容を確認しました[1]。さらにこの数学者らは、証明の論証を解説し、結果の意義や背景を補足する別の論文(コンパニオン論文)も執筆しています[1]。AI が自律的に未解決問題へ踏み込み、その成果を専門家が独立に検証するという流れは、数学研究における AI の役割を考えるうえで一つの節目となりそうです。

OpenAI は今回の成果について、特定の予想を一つ決着させただけでなく、数学者がさらに関連する問題を探究するための足がかりになり得ると説明しています[1]。もっとも、単位距離問題そのものは点ペア数の正確な上限がいまだ確定しておらず、問い全体としては引き続き未解決の難問です。今回の反証は、その大きな問いに向けた一歩と位置づけられます。