数学はどこにあるのか — AIが定理を証明した時代に「数学的真実」を問い直す

問い: AIが証明した定理は「人間が理解した」ことになるのか？

2026年7月、プリンストン高等研究所の数学者ホン・ワン（Hong Wang）が、女性として史上3人目のフィールズ賞受賞者となった。彼女が同僚のジョシュア・ザールと共に証明した「三次元カケヤ予想」は、数学界が90年以上待ち続けた結果だった。

同じ時期、AIは数学の別の戦線でも成果を上げていた。Quanta Magazineは2026年4月に「数学におけるAI革命が到来した」と報じ、AIが人間の数学者でさえ見逃していた証明の経路を発見し始めていることを伝えた。

そこで、一つの問いが浮かぶ。数学的な真実とは、人間の心の外に独立して存在するものなのか？　それとも、人間（あるいはAI）が構築したとき初めて存在するものなのか？

本文

カケヤ予想とは何か

1917年、日本の数学者・掛谷宗一は奇妙な問いを立てた。「針を360度回転させるのに必要な最小面積はいくらか？」。この問いが生んだ「カケヤ集合」という概念は、20世紀数学の中心的難問の一つとなり、フーリエ解析[^1]からインターネット通信技術まで、意外な場所に応用されていた。

三次元版のカケヤ予想は特に困難で、「細い針を三次元空間で全方向に動かすときの最小体積は0に近づける」という主張だ。2025年2月、ホン・ワンとジョシュア・ザールは127ページの証明でこれを示した。Fields賞の選考委員会はこれを「驚異的な突破口」と評した。

[^1]: フーリエ解析: 複雑な波（音・光・電波など）を単純な波の重ね合わせとして分解する数学的手法。信号処理やMRIなど現代技術の基盤。

「数学の事実は、発見するものだ」

プリンストンの著名な数学者セルジウ・クレインマン（Sergiu Klainerman）はAeonのインタビューでこう語る。「数学の事実は人間が作るものではない。私たちはそれを発見するのだ」。この立場は**数学的実在論（Mathematical Platonism）**と呼ばれる——数が、三角形が、素数の分布パターンが、人間の認識と無関係に実在するという哲学的立場だ。

プラトンが「イデア界」を仮定したように、実在論者たちは数学的対象が「どこか」に存在し、数学者はそれをまるで探検家のように発見すると考える。カケヤ予想はずっとそこにあった。ワンとザールはそれに到達する道を見つけたに過ぎない——という解釈になる。

AIの証明は「理解」か「計算」か

しかし今、AIが入り込んでくる。2026年、AIシステムはエルデシュ問題群（20世紀の奇才数学者ポール・エルデシュが残した未解決問題）で顕著な成果を上げ始めた。アルゴリズムが証明のステップを「生成」するとき、それは本当に数学的真実に触れているのだろうか？

反実在論（構成主義）の立場から言えば、数学的対象は人間が「構成」することによって初めて存在する。証明とは構成行為であり、AIが証明を生成することは、AIが「意味を持つ」かどうかという問いに直結する。AIには意識がなく、「美しさ」「驚き」「なぜそうなるのかへの直観」を持たないとすれば、AIの生成した証明は記号列に過ぎないのか？

二つの文化の亀裂、再び

1959年、物理学者C.P.スノーは「二つの文化」という講演で、科学者と人文学者が互いに理解し合えない知的断絶を嘆いた。AIが科学と数学の中核に入り込む2026年、この断絶は新しい形を取っている。「計算できること」と「理解すること」の違いを問う哲学者と、「証明が正しければ理解は不要」と考える一部の数学者との間に、新しい亀裂が走っている。

ホン・ワンの業績が称えられるのは、彼女が「なぜ真実なのか」を人間的な直観として把握し、そこに至る新しい経路を切り開いたからでもある。フィールズ賞の選考委員会は証明の「エレガンス」を重視する——それは計算の正確さではなく、洞察の深さへの賞讃だ。

問いを持ち続けることの価値

数学の哲学に確定的な答えはない。しかし問い自体は豊かだ。私たちが「1+1=2」と言うとき、それは発見か発明か。円周率πが無限に続くのは、宇宙の構造の中に刻まれているからか、それとも人間の定義から論理的に流れ出るだけなのか。

AIが証明を出力し始めた時代に、この問いを持つことには実践的な意義もある。AIの数学的「能力」を過大評価しないために、そしてAIができないこと——問いを立てること、美しさを感じること、なぜこの問題が重要かを判断すること——が人間固有の価値として何であるかを問い直すために。

さらに学ぶための3点

1. 書籍: 『プラトンの天国』（ロジャー・ペンローズ著）
   数学的実在論の代表的論者による、数学・心・物理学の関係を論じた大著。「数学は宇宙に先行して存在するか」という問いに正面から向き合う。

2. 記事: "Mathematical Beauty, Truth and Proof in the Age of AI" — Quanta Magazine (2025)
   AIが数学に参入したことで「証明とは何か」という問いがどう変わりつつあるかを複数の数学者の視点から考察。
   URL: https://www.quantamagazine.org/mathematical-beauty-truth-and-proof-in-the-age-of-ai-20250430/

3. 論文: "For Sergiu Klainerman, maths is a fact to be divined" — Aeon Essays
   プリンストンの数学者クレインマンへのインタビュー。「数学的事実は発見されるものであり、AIが数学をすべて解けるとは思わない」という信念の根拠を語る。
   URL: https://aeon.co/essays/for-sergiu-klainerman-maths-is-a-fact-to-be-divined