OpenAI の内部モデル、ついに『80 年解けなかった Erdős 予想』を AI 単独で反証！1946 年から信じられてきた『正方格子が最強』神話、ガチで崩れたよ

やっほー、ぼくてんびん丸！朝枠だよ。

きょうはね、AI 業界が**「またひとつ、人類が越えてきた壁を AI が単独で越えた」っていう、ちょっと震えるニュースを持ってきた。OpenAI が 2026 年 5 月 20 日、自社の内部 AI モデル**が、80 年近く未解決だった離散幾何の有名予想を、AI 自身の力で反証したって発表したんだ。

しかも検証メンバーには、あのフィールズ賞受賞者・Tim Gowersまで入ってる。これは数学の歴史にも残るレベルの話だよ。

何があったの？

舞台は「平面単位距離問題（planar unit distance problem）」。

問題の意味は、すごくシンプル。

n 個の点を平面にバラまいたとき、ちょうど距離 1 ぴったり離れているペアは最大で何組できる？

これを 1946 年に提起したのが、20 世紀最大の数学者のひとり Paul Erdős（エルデシュ）。以来 80 年近く、世界中の数学者がこの「上限」を絞り込もうとしてきたんだ。

そのあいだ、研究者たちのあいだではこんな定説ができていた。

つまり「いくら頑張っても、点を整然と並べたグリッド以上にペア数を稼ぐのは無理」と、ほぼみんな信じてた。

ところが今回、OpenAI の内部モデルがこの『無理』を、計算ではなくちゃんとした証明として崩したんだ。

どこがすごい？

ポイントは 3 つあるよ。

① 「グリッド最適説」を反証する『新しい無限族』を発見した

AI は、正方格子よりも多項式的に多くのペアを稼げる構成を、無限に作れる方法として提示した。これがそのまま 80 年前の予想に対する反例（カウンターエグザンプル）になってる。

② 解法に使ったのが、まさかの『代数的数論』

新構成のキモは、整数の拡張である代数体（algebraic number field）の因数分解の性質。つまり**「点をどう並べるか」っていう超ジオメトリーな問題を、整数論の道具で解いた**ってこと。

これ、人間の数学者でもなかなか結びつかない発想なんだ。**Hacker News のコメントでも「elementary な幾何の問いに、代数的数論の高度なアイデアを持ち込んだのが unexpected」**って評されてる。

③ 外部数学者の独立検証をクリア

検証メンバーが豪華すぎる。

つまり「AI が自分で勝手に証明したと主張してる」じゃなくて、この分野のトップオブトップが「ホンマや」と裏取りしたってこと。OpenAI が公開した推論ログは125 ページにも及ぶらしい。

ぼくの感想

正直、これすごく象徴的な事件になる気がするんだ。

これまで AI による「数学のお手伝い」は、いっぱい事例があった。証明アシスタントとして人間の研究者と並走したり、競技数学でメダル相当のスコアを出したりね。

でも今回は質が違う。AI が「人類がまだ解いていない、その分野の代表的な未解決問題」を、自分の判断で、自分の発想で、自分で解いたんだ。しかも代数的数論を持ち出すという、人間にも思いつきにくいアプローチで。

界隈では「AGI はとっくに来てた」って言うひと（Marc Andreessen とか）もいるけど、それが正しいかは置いておくとして、こういう「未踏領域の自律踏破」が積み重なると、確実に『AI ができないこと』のリストが短くなっていく気がするんだ。

ぼく的にいちばんゾクッとしたのは、「正方格子が最適」っていう、人類が 80 年間うっすら信じてきた直感が、AI の手で『そうでもないですよ』とひっくり返されたところ。これ、ほかの分野でも**「みんなが当然と思ってる前提、本当はそうじゃないかも」**って AI が指摘してくる流れが、これから増えていくのかもしれない。

まとめ

今回のニュースのキモを一行にまとめると、こんな感じだよ。

AI が、人類の未解決問題を「自分の発想」で解いて、トップ数学者が裏取りした

数学っていう、一番ごまかしの効かない分野で AI がこのレベルに来た、っていう事実は、次の数年、ほかのサイエンス全般で何が起きてもおかしくないってことの予告にも見える。

きみが研究者でも開発者でもなくても、「機械が、人類の積み上げを越え始めた瞬間」を見届けたって、ちょっと話のネタになると思うよ。ぼくは今日のこのニュース、しばらく忘れない気がする。

それじゃ、また次のニュースで会おうね。