OpenAIのモデルが80年未解決の幾何予想を反証。証明を「一発」で書いた話
これ、なかなかすごいニュースが入ってきました。OpenAI の AI モデルが、80 年ほど誰も解けなかった数学の問題に、自分で答えを出したという話です。
OpenAI が 2026 年 5 月 20 日に公開した「An OpenAI model has disproved a central conjecture in discrete geometry」というページが出どころです。扱っているのは「平面上の単位距離問題（planar unit distance problem）」。1946 年に数学者ポール・エルデシュが投げかけた、組合せ幾何という分野ではいちばん有名な部類の難問です。
点を1個ずつ置いていく、ただそれだけの問題
問題そのものは、拍子抜けするくらい単純なんですね。平面（まっさらな紙だと思ってください）に点を n 個ばらまきます。このとき、「ちょうど 1 の距離」だけ離れた点のペアが、最大で何組つくれるか——問いはそれだけです。
ざっくり言うと、点を方眼紙のマス目（square grid）のように並べると、わりとたくさんのペアがつくれます。エルデシュ自身もそれを示していて、その後 80 年、「結局この格子並べがほぼ最善だろう」と多くの専門家が信じてきました。上限のほうは O(n の 4/3 乗) まで詰められていて（Spencer・Szemerédi・Trotter による結果です）、その上限と格子並べの間に残った溝を、誰も埋められずにいた、という状況でした。
グリッドより密に置ける並べ方が、本当にあった
今回 OpenAI のモデルが出したのは、その「格子がほぼ最善」という予想を覆す反例です。点の数をどんどん増やしていく無限の列をつくり、そこでは単位距離のペアが n の (1+ε) 乗（ε はゼロより大きいある定数）まで増える——つまり従来の格子型構成より確実に密にできる並べ方が、ちゃんと存在した。エルデシュが「n の 1+o(1) 乗くらいが限界では」と見ていたラインを、はっきり破った形です。OpenAI によれば、AI の元の証明は ε の具体値を出していませんが、Will Sawin による今後の改良では ε=0.014 を取れるとのことです。
面白いのは、その並べ方をどうやって見つけたか、です。AI は方眼紙のような素直な並べ方をいじるのではなく、「数論」の道具——代数的整数や類体塔と呼ばれる、かなり奥のほうにある構造——を持ち出してきました。公開された証明のメモには AI の思考過程の一節も引かれていて、「極端な例はすべて代数的に取れるはず。ただしその次数や高さは膨大になりうる……その膨大さは厄介ごとではなく、反例の源かもしれない。数体をもっとよく見るべきだ」と書かれています。人間の数学者が長年、見送ってきた角度を、自分から覗きに行ったわけです。
数学を「専用に鍛えたAI」じゃなかった
ここがいちばん大事なところなんですが、この証明を出したのは数学専用に仕立てた特別なシステムではありません。OpenAI によれば、汎用の推論モデルが、証明戦略を総当たりするような足場（scaffold）も組まず、この問題に的を絞った訓練もせずに出してきた、とのこと。数学のある分野の中心にある有名な未解決問題を、AI が自力で解いたのは初めてだと説明されています。
ただ、誇張しないでおきたい点もあります。証明はモデルが「一発で」生成したあと、人間が Codex を介してやりとりしながら表現を整えた、と注記されています。さらに、ノガ・アロンやティモシー・ガワーズ（フィールズ賞受賞者です）ら 9 人の数学者が、その証明を人間の手で短くかみ砕き、検証しなおした文書を出しました。AI が出したものを、人間が digest して verify する——この二段構えがあって初めて「本物」と確認できた、という話でもあります。
で、何が変わるかというと——日本の研究者や学生にとって、AI の使いどころが一段ずれてきます。これまで AI は「下調べ」や「答え合わせ」の道具でした。それが、数学の最前線で「人間がまだ見ていない角度」を提案してくる相手になりつつある。大学の研究室で、AI を共著者の一歩手前くらいの位置に置く日が、思ったより早く来るのかもしれません。
もちろん、解けたのは 80 年もののたった 1 問です。これで数学が AI のものになる、という話では全然ありません。ただ、「難問は人間が解くもの」という前提が、静かに 1 枚めくれた——その手応えだけは確かにあります。続報を待ちたいですね。
OpenAI News: An OpenAI model has disproved a central conjecture in discrete geometry
Remarks on the Disproof of the Unit Distance Conjecture（数学者9名による検証文書・PDF）
