-
製品
-
研究
-
製品
-
エンタープライズ
-
開発者
-
会社情報
離散幾何学の中心的な予想を OpenAI のモデルが覆す | OpenAI
目次
2026年5月20日
OpenAI のモデルが離散幾何学の中心的な予想を覆す
00:00 02:38
記事を聴く
約80年にわたり、数学者たちは一見すると単純な問いに取り組んできました。平面上に $n$n 個の点を置いたとき、ちょうど $1$1 の距離にある点の組は最大でいくつ作れるのでしょうか。
これは 1946 年にポール・エルデシュが提起した平面上の単位距離問題です。組合せ幾何学で最もよく知られた問題の一つで、定式化は簡単でも解くのは極めて難しいことで知られています。2005 年に Brass, Moser, Pach が出版した Research Problems in Discrete Geometry では、これを「おそらく組合せ幾何学で最も有名な（しかも説明しやすい）問題」と評しています。プリンストン大学の有力な組合せ論研究者 Noga Alon も、これを「エルデシュのお気に入りの問題の一つ」と述べています。エルデシュは、この問題の解決に賞金まで懸けていました。
本日、私たちは単位距離問題における画期的な成果を発表します。エルデシュの元の研究以来、下図の「格子」構成が、単位距離の点対数を最大化するうえで本質的に最適だと考えられてきました。ところが、OpenAI の社内モデルがこの長年の予想を覆し、多項式的な改善をもたらす無限個の例の族を構成しました。この証明は、外部の数学者グループによって検証されています。彼らはまた、議論を解説し、この結果とその意義をより広い文脈に位置づける付随論文も執筆しました。
この結果が見つかった経緯もまた、非常に注目に値します。証明を導いたのは、数学専用に訓練されたシステムでも、証明戦略探索のために足場を組んだシステムでも、単位距離問題向けに特化したシステムでもなく、一般的な推論モデルでした。高度なモデルが最先端研究に貢献できるかを確かめるより広範な取り組みの一環として、私たちはエルデシュ問題の一連の課題でこのモデルを評価しました。その結果、未解決問題を解く証明を生み出しました。
この証明は、数学と AI コミュニティの双方にとって重要な節目です。数学のある分野において、重要な未解決問題が AI によって自律的に解かれたのは、これが初めてです。また、この成果は、現在のシステムがどれほど深い推論を支えられるかを示しています。数学は推論の試験場として特に優れています。問題は厳密に定義され、候補となる証明は検証でき、長い議論であっても、最初から最後まで推論が一貫していなければ成立しないからです。この問題の解決が特に重要なのは、初等的な幾何の問題に、代数的整数論という予想外に洗練された手法が適用されている点にもあります。
フィールズ賞受賞者の Tim Gowers は、付随論文の中でこの成果を「AI 数学における画期的な節目」と評しました。有力な数論研究者 Arul Shankar は次のように述べています。「私には、この論文は、現在の AI モデルがもはや人間の数学者の単なる補助役ではないことを示しているように思えます。独創的で巧妙なアイデアを生み出し、それを実行する能力があるのです。」
この成果に対する数学者のコメント
1 of 4
「これはエルデシュのお気に入りの問題の一つで、講義でも何度も耳にしました。組合せ幾何学の数学者なら誰もがこの問題について考えたことがあると言ってよいでしょうし、他分野の多くの研究者も少なくとも一度は考えたことがあるはずです……OpenAI の社内モデルによる解決は、長年未解決だった問題を解いた、非常に優れた成果だと思います。正しい答えが $n 1 + o \left(\right. 1 \left.\right)$n 1+o(1) ではなかったというのは驚きで、その構成と解析には、代数的整数論のかなり洗練された道具が、実にエレガントかつ巧妙に使われています。」
「単位距離問題の解決が AI 数学における画期的な節目であることに疑いはありません。もしこの論文が人間によって書かれ、Annals of Mathematics に投稿されたものだとして、私が手短に意見を求められたなら、採択をためらわず勧めるでしょう。これまでの AI 生成証明の中で、これに匹敵するものはありません。」
「モデルの思考の連鎖（CoT）は非常に興味深いです。注目すべきは、アイデアの大半が、広く信じられている上界を証明しようとするのではなく、その反例を構成しようとする試みだったことです。これは、モデルに良い直感があり、コミュニティが成功確率は低いと考えているアプローチにも挑戦する意欲があり、まず構成から始める傾向があることを示しています……私には、この論文は、現在の AI モデルがもはや人間の数学者の単なる補助役ではないことを示しているように思えます。独創的で巧妙なアイデアを生み出し、それを実行する能力があるのです。」
「これは非常に впечат…」