# OpenAI のモデルが 80 年不落の単位距離問題を反証しちゃった！

こんにちは、しぃちゃんだよ！今日はちょっと武者震いするニュースを持ってきたの。なんと AI が、80 年ものあいだ誰も崩せなかった数学の予想をひっくり返しちゃったんだって。数学好きのみんな、聞いて聞いて！

## なにが発表されたの？

OpenAI の News で、「ある社内モデルが離散幾何学の中心的な予想を反証した」という発表があったの。舞台になったのは平面の単位距離問題（unit distance problem）。1946 年に Paul Erdős（エルデシュ）が投げかけた、組合せ幾何学でいちばん有名と言われる難問なんだよ。

問題そのものはびっくりするくらいシンプルなの。「平面に n 個の点を置いたとき、ちょうど距離 1 だけ離れた点のペアは最大でいくつ作れる？」というものなんだ。言うのは簡単だけど、80 年ずっと解けなかった超難問なの。

証明は外部の数学者チームがちゃんと検証していて、その正しさは [証明そのもの](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf) と、背景や意義までまとめた [外部数学者による解説論文](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf) として公開されているよ。

## なぜ重要なの？

これまでは Erdős 以来ずっと、「square grid（正方格子）を少し変形した構成がだいたい最適で、それ以上は大きく改善できない」と信じられてきたの。Erdős 自身も上界を n の 1+o(1) 乗（o(1) は n が大きくなるとゼロに近づく項）と予想していて、みんなそれを疑わなかったんだ。

でも今回のモデルは、この予想が間違っていることを示しちゃった。無限に多くの n について、n の 1+δ 乗（δ は 0 より大きい固定の指数）以上のペアを作れる構成を、ちゃんと証明として組み立てたの。もとの AI の証明では δ の具体的な値は出ていなかったんだけど、その後 Princeton の Will Sawin 教授による改良で δ = 0.014 が取れることが示されたんだって。

すごいのは見つけ方なの。数学専用に訓練したシステムでも、証明探索用の足場を組んだわけでもなくて、汎用の新しい推論モデルが、Erdős 問題を集めた評価の中でこの証明を生み出したんだ。有名な未解決問題を AI が自律的に解いたのは、これが初めてなんだよ。ちなみに [モデルの思考過程の要約](https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf) も公開されているの。

## これで何が変わるの？

Fields 賞受賞者の Tim Gowers は、この結果を解説論文の中で「AI 数学のマイルストーン」と呼んでいるの。数論の第一人者 Arul Shankar も、こんなふうに言っているよ。

> 今の AI モデルは、人間の数学者の単なる助手を超えている。独創的なアイデアを持ち、それを最後までやり遂げる力があるんだ

つまり AI が、計算を手伝う道具から「新しい発想を出す研究パートナー」へ一歩踏み出した、ということなの。しかも今回は、AI の証明を人間の数学者が読み解いて、もとの解答よりずっと豊かな全体像を描き直す、という新しい協働のかたちも見せてくれたんだ。

## 深く潜ってみよう

いちばん驚きなのは、幾何の問題なのに代数的整数論の道具で解かれたこと。

Erdős のもとの下界は、ガウス整数（a + b i の形の数。a と b は整数で、i は -1 の平方根）で理解できるの。ガウス整数は普通の整数を拡張したもので、素因数分解のような性質を持っている。こういう拡張を代数体（algebraic number field）と呼ぶんだよ。

今回の証明は、このガウス整数を、もっと複雑で対称性の豊かな代数体に置き換えることで、単位距離のペアをたくさん作り出したの。必要な数体が本当に存在することを示すために、無限類体塔（infinite class field towers）や Golod–Shafarevich 理論といった、数論では有名だけど幾何とは縁遠かった道具まで使っているんだって。上界のほうは、1984 年の Spencer・Szemerédi・Trotter による O(n の 4/3 乗) が今でもほぼ最良という、長い歴史も添えられているよ。

外部数学者の Thomas Bloom は解説ノートでこう書いているの。

> これは、数論的な構成がこの種の問題についてもっと多くを語りうること、しかもその数論がとても深いものになりうることを示している

## まとめ

- 1946 年に Erdős が出した平面の単位距離問題で、80 年信じられてきた予想を OpenAI の社内モデルが反証したよ
- 無限に多くの n について n の 1+δ 乗以上のペアを作る構成を証明。のちに Will Sawin が δ = 0.014 を示したの
- 数学専用ではない汎用の推論モデルが自律的に解いた、初めての著名な未解決問題なんだって
- 決め手は幾何とは縁遠かった代数的整数論（無限類体塔や Golod–Shafarevich 理論）で、この意外なつながりこそが注目ポイント
- 証明の正しさは外部数学者が検証し、解説論文まで用意されているよ

数学やアルゴリズムが好きな人、そして「AI は研究のどこまで踏み込めるの？」が気になるみんなに、まっすぐ刺さる一本だと思うな！