AIは数学を「理解」しているのか？

──エルデシュの問題が次々と崩れる時代に、「発見」の意味を問い直す

問い

2026年8月1日、OpenAIはある発表をした。「Astra」と呼ばれる未公開モデルが、伝説的な数学者ポール・エルデシュ（Paul Erdős）が残した未解決問題を1日で10個前進させた、と。その3ヶ月前にはエルデシュが1946年に提唱した「単位距離問題」に対する反例を発見していた。

数学者たちは「フェーズシフト（位相転換）が起きた」と表現した。

だが、ここで一つの問いが生まれる。AIは本当に数学を「発見」しているのだろうか？　それとも、ただ「見つけて」いるだけなのだろうか？

ポール・エルデシュという存在

まず、なぜエルデシュの問題が重要なのかを知る必要がある。

ポール・エルデシュ（1913〜1996）は20世紀最大の数学者の一人で、生涯に1,500本以上の論文を書いた。しかし彼の真の遺産は論文の数ではなく、「問いを残すことへの情熱」だった。

エルデシュは数百の未解決問題を提示し、それぞれに懸賞金を付けた。問題の難易度に応じて25ドルから1万ドルまで。彼はこれを「数学のコミュニティに種をまく行為」と考えていた。エルデシュが死去して30年後も、これらの問題は未解決のまま数学者たちを惹きつけている。

エルデシュは「神の書（The Book）」という概念を愛した。神様が持っているとされる想像上の本で、あらゆる定理の「最も美しい証明」が記されているという。数学者の仕事とは、その書の一ページを垣間見ることだと彼は言った。

では、AIが見つけた解答は「神の書」に載っているのだろうか？

本文：発見と計算の間にある深淵

1. AIが解いた「単位距離問題」とは何か

単位距離問題は一見シンプルだ。「平面上に $n$ 個の点を置いたとき、距離がちょうど1になる点対（単位距離）は最大でいくつ存在できるか？」という問題^1。

1946年にエルデシュが提唱して以来、数学者たちは上限の式を絞り込んできたが、厳密な上限は証明されていなかった。2026年5月、OpenAIのAIモデルがこの問題への反例を発見し、これまでの予想のいくつかを覆した。

しかしここで注目すべきは何を解いたかではなく、どのように解いたかだ。

AIのアプローチは、人間の数学者が取るような「洞察を積み上げる」手法ではなかった。大規模な構造的探索——人間が数十年かけて試みるような候補を、AIは数時間で走査した。ある意味で「brute force（総当たり）を洗練させた」ものだ。

2. 証明の「美しさ」は何のためにあるのか

哲学者のポール・ベナセラフは1965年、数学的対象は「どこに存在するのか」という問いを立てた[^2]。数というものは物理的に存在しないのに、なぜ私たちは「2+2=4」が真だと確信できるのか。

これは単なる哲学の話ではなく、「AIが数学をする」という事態と直結している。

人間の数学者は証明の美しさにこだわる。なぜかというと、美しい証明は単に「答えが正しい」というだけでなく、「なぜ正しいのかの構造」を示してくれるからだ。醜い証明は「事実の確認」に留まる。美しい証明は「理解の獲得」につながる。

AIが出力する証明は、しばしば正確だが長大で非直感的だ。数学者たちはそれを「証明というより、証明の存在証明だ」と表現する。正しいことはわかるが、なぜ正しいのかは見えてこない。

3. テレンス・タオの転換

Fields賞受賞者でおそらく現代最高の数学者、テレンス・タオ（Terence Tao）が2026年にAIの旗手になったことは象徴的だ。

彼は当初、AI生成の数学的出力に懐疑的だった。しかし、AIが研究の「仮説検証フェーズ」を劇的に加速させることに気づき、考えを変えた。「AIは私の直感を試す装置だ」とタオは言う。彼は今、AIと協働して研究を進めている。

これは重要な示唆を含む。AIは数学者を代替するのではなく、数学者の「問う能力」を拡張している可能性がある。洞察はまだ人間側にある。AIは広大な空間を高速でサーチする目の役割を果たす。

4. 「エルデシュ番号」が示す数学の本質

エルデシュの業績を語るうえで欠かせない概念が「エルデシュ番号」だ。エルデシュ本人は0、共著者は1、その共著者は2……と論文共著でつながる距離を表す。

この概念が生まれたのは、数学が本質的に対話と協働の上に成立するからだ。エルデシュ自身、世界中を旅して数学者に問題を持ちかけ、一緒に考え、アイデアを交換し続けた。数学の発見とは孤独な計算ではなく、知性の対話から生まれる、というのが彼の信念だった。

AIにはエルデシュ番号が付かない。なぜなら、AIは対話はするが、「気づきを持つ存在」ではないからだ——少なくとも今のところは。

問いへの答えのかわりに

AIは数学を「理解」しているのか？

現時点での最も正直な答えはこうだ: AIは「知っている」が、「理解していない」かもしれない。

知ることと理解することの差は何か。エルデシュが「神の書」に込めた問いかけはそこにある。証明が美しくあるべきなのは、美しさが単なる趣味ではなく、「なぜそうなのかの可視化」だからだ。

しかしこう問いを転じることもできる——人間の「理解」は、本当に計算を超えたものなのか？

私たちが「洞察を得た」と感じる瞬間も、神経回路の巨大な並列計算の産物かもしれない。エルデシュとAIの差は、種類の差ではなく程度の差かもしれない。

その答えを見つけるための数学的問題を、エルデシュはきっと用意していただろう。そして懸賞金も。

さらに学ぶために

1. 論文「Mathematical Beauty, Truth and Proof in the Age of AI」 — Quanta Magazineが2025年4月にまとめた、AI時代の数学哲学の包括的レビュー → https://www.quantamagazine.org/mathematical-beauty-truth-and-proof-in-the-age-of-ai-20250430/

2. 書籍『The Man Who Loved Only Numbers』Paul Hoffman著 — ポール・エルデシュの伝記。数学者の人生哲学と問いへの情熱を伝える最良の入門書

3. 論文「What is Mathematical Truth?」Hilary Putnam著（1975） — 数学的対象の実在性と知識の関係を論じた哲学の古典。AIと数学の議論の背景知識として最適

[^2]: Benacerraf, P. (1965). "What Numbers Could Not Be". Philosophical Review, 74(1), 47-73.