80年。ハンガリーの数学者ポール・エルデシュが1946年に投げかけた問いは、それだけの間、誰にも解けなかった。ところが2026年5月、その問いにAIが自力で「否」を突きつけた。人間の専門家が「最善」と信じてきた形を、AIがつくった反例が上回ってみせたのだ。
これは、AIが既存の知識を検索してきた話ではない。数学の未解決問題を、AIが自律的に「初めて解いた」歴史的な出来事である。8月に入っても検証と議論が続くこの成果を、数式を使わずに、何が起きたのかだけをていねいにほどく。
何が「初めて」だったのか
ポイントは「自律的に解いた」という部分だ。これまでもAIは数学を手伝ってきたが、多くは既知の答えを見つけ直す域にとどまっていた。今回OpenAIの内部モデルがやったのは、誰も知らなかった反例を一から作ること。しかも一つではなく、条件を満たす無限の家族(パターンの集まり)を見つけた。
驚くのはその手つきだ。単位距離問題は幾何の問題なのに、AIは代数的整数論という、一見まったく畑違いの高度な数学を持ち込んだ。無限類体塔やゴロド・シャファレビッチ理論といった抽象概念を組み合わせ、新しい構成にたどり着いた。分野の壁を越えて道具を借りてくる——人間の一流数学者がやることを、AIがやってのけた。
人間が「検証」に回った
この成果が本物だと分かったのは、人間の数学者が確かめたからだ。発表と同じ日、Alon、Bloom、ガワーズ、Litt、Sawinら9人の数学者が、AIの原証明を人間向けに読み直し、検証した論文を公開した。プリンストンのSawin氏はさらに踏み込み、改善の度合いを精密化してみせた。
単位距離問題の解決がAI数学における一つのマイルストーンであることに、疑いの余地はない。(原文英語・筆者抄訳)
ガワーズは1998年のフィールズ賞受賞者、数学界の最高峰の一人だ。その人物が「マイルストーン」と認めた意味は重い。AIが出した答えを、人間の権威が確かめて追認する——研究の役割分担が、静かに一段ずれた瞬間だった。
「発見するAI」への転換点
この出来事の本質を、当サイトの文脈に置いてみる。これまでAIは、大量の情報を処理し、要約し、既知を組み合わせる道具だった。だが単位距離問題の反証は、「タスクをこなすAI」から「発見するAI」への一歩を示している。答えのない問いに、新しい答えを差し出したのだ。
図: 今回の成果の流れ。AIが構成し、人間が検証する分業が成立した(各報道を基に筆者作成)。
もっとも冷静さも要る。数学は答えの正しさを厳密に検証できる、AIと相性のいい分野だ。ここでの成功が、そのまま曖昧な現実世界の問題に及ぶわけではない。AIの内面を探る研究が示すように、AIが「なぜ解けたか」の中身は、まだ人間に完全には見えていない。とはいえ科学の別の現場では、AIが設計したウイルスが実際に動いた例もある。AIが「発見する側」に回る動きは、数学だけの話ではない。
気になるのは「理解しているのか」だ
筆者が引っかかるのは、まさにその点だ。AIは正しい反例を出した。だが、それを人間のように「理解」して出したのか、それとも膨大な試行の果てに当てたのか。この問いには、賛否が割れている。実際、成果の解釈をめぐって「理解を伴わない自動化ではないか」と問う論考も出ている。答えが正しいことと、わかっていることは、同じではない。
次に問われるのは「二つ目」が出るか
単位距離問題の反証は、AI数学の金字塔だ。だが金字塔が一本立っただけでは、時代が変わったとは言い切れない。本当の試金石は、これが再現するか——別の未解決問題でも、AIが同じように新しい発見を出せるかどうかにある。80年の壁を破った次の一撃が出たとき、私たちは「AIが発見する時代」を本当に生きることになる。その日を、静かに待ちたい。
出典: OpenAI公式(model disproves discrete geometry conjecture) / Ledge.ai(単位距離予想を反証・外部数学者が検証) / Combinatorics and more(Gil Kalai・AIによる反証) / arXiv:2605.20695(Remarks on the disproof)
