教養を深める1本｜2026年6月29日

テーマ：数学は人間が「発明」したのか、宇宙の中に「発見」したのか？

2026年6月に数学者セルジウ・クレインマン（プリンストン大学名誉教授）についてのエッセイがAeonに掲載された。彼の信念はこうだ——「数学的真理は、科学者が自然を発見するように発見されるものだ。数学者は事実を神託のように受け取る（divine）のだ」。

この問いは古代ギリシャからの哲学的難問だが、2026年、AIが数学の証明を書き始めたという現実が、古い問いを現代の地平に引き戻している。

本文

1. 二つの陣営：プラトニストと形式主義者

数学の哲学には根深い亀裂がある*¹。

プラトニズム（実在論）の立場は「数学的対象は実在する」というものだ。円周率 π は人間が定義したのではなく、宇宙の中に「ある」ものを発見した。クレインマンはこの陣営の代表格で、「数学的構造は人間の思考から独立して存在し、現実の基盤をなす」と主張する。

対するのが形式主義だ。20世紀の数学者ダフィット・ヒルベルトが推し進めた立場で、「数学はゲームのルールだ。意味のある記号の操作に過ぎず、実在するものを指すわけではない」という考え方だ。数学の真理は「ルールに従って正しく導かれた」ことを意味するにすぎない。

もう一つの立場として直観主義（構成主義）もある²。「存在を証明するには、実際に構成しなければならない」という厳格な要求で、無限や排中律³の使用に制限を設ける。

どれが「正しいか」は未解決だ。数学の最も奇妙な特徴——「なぜ数学は物理世界に対してこれほど効果的なのか？」——も、この問いと深く結びついている。

2. 「数学の不合理な効率性」という謎

1960年、物理学者ユージン・ウィグナーは論文「自然科学における数学の不合理な効率性」を書いた。彼が訴えたのは「複素数*⁴は純粋な数学の遊びとして生まれたのに、なぜ量子力学の基礎になったのか？」という驚きだ。

リーマン幾何学⁵は19世紀に純粋数学として研究され、当時は何の実用性も期待されていなかった。それが1世紀後にアインシュタインの一般相対性理論に使われた。群論⁶も素粒子物理学の対称性の記述に完璧に当てはまった。

プラトニストはこれを「自然界も数学的な構造をしているから当然だ」と解釈する。形式主義者は「たまたまそういうルールが役立つだけだ」と言う。どちらの説明も、完全には納得できない何かを残す。

3. AIが証明を書く時代に、この問いはどう変わるか

2026年4月、Quanta Magazineは「数学のAI革命が到来した」と報告した。数学者のテリー・タオ（フィールズ賞受賞者、現代最高峰の数学者の一人）は、AIを使った証明作成の「伝道者」になったとされる。

これは哲学的問いを新しい局面に持ち込む。

もしAIが数学的証明を生成できるなら、証明のプロセスは「理解」を必要とするのか？

AIは記号を正しく操作し、ルールに従って結論を導く——形式主義的な意味での「正しい証明」を出力する。しかし「なぜそれが美しいのか」「どの方向に進むべきか」という直観は、今のところ人間の数学者が担っている。

エルデシュ法*⁷——80年前にポール・エルデシュが確立した確率的グラフ理論の手法——が2026年6月にまた更新されたのも、人間とAIの協働の産物だという。

4. 問いを持ち続けることの意味

クレインマンが「数学は神託のように受け取るもの」と言う背景には、長年研究を続けて突然インサイトが訪れる体験への敬意がある。それは「思いつき」ではなく、膨大な文脈を積み上げた意識が、未だ形のない真理に接続する瞬間だ。

AIがどれほど証明を書けるようになっても、「この問いを問う価値があるか」「この方向に意味があるか」という問い自体は、人間の営みとして残るだろう。数学の哲学が解決されない限り——そしてそれは解決されないかもしれない——数学は「事実を発見する場所」であり続けながら、同時に「意味を作り続ける人間の言語」でもある。

脚注

*¹ 数学の哲学: 数学的対象の本性、数学的真理の意味を探る哲学の一分野。
*² 直観主義（構成主義）: ブラウワーが提唱。「数学的対象は構成できてはじめて存在する」という立場。
*³ 排中律: 「PかP以外のどちらかが真だ」という論理の法則。古典論理では当然だが直観主義では認めない。
*⁴ 複素数: 虚数単位 i（i² = -1）を含む数。実数だけでは解けない方程式を解くために生まれた。
*⁵ リーマン幾何学: 曲面上の幾何学。ユークリッド幾何学の拡張で、曲がった空間を扱える。
*⁶ 群論: 対称性を数学的に扱う理論。物理学での粒子の分類に使われる。
*⁷ エルデシュ法: ハンガリーの数学者ポール・エルデシュが確率的手法でグラフ理論を解いたアプローチ。「組み合わせ論的確率論」の基礎。

さらに学ぶための3点

1. 書籍：『数学する身体』 森田真生（2015）

日本の独立数学者・森田真生による、数学と身体・知覚の関係を探る著書。「数学は何のためにあるのか」という問いを、身体論と歴史から掘り下げる。哲学的数学書の入門として最良の一冊。

2. エッセイ：「For Sergiu Klainerman, maths is a fact to be divined」 Aeon, 2026年5月

プリンストンの偏微分方程式の権威が語る数学的実在論。「数学は発見される」という強い主張を、研究者の実体験から語る。英語だが読みやすい。
🔗 https://aeon.co/essays/for-sergiu-klainerman-maths-is-a-fact-to-be-divined

3. 記事：「The AI Revolution in Math Has Arrived」 Quanta Magazine, 2026年4月

AIが本格的に数学の証明に使われ始めた現状を伝える。テリー・タオらが「AIは数学の道具として本物だ」と評価した転換点の記録。
🔗 https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/

リサーチノート: aeon.co, quantamagazine.org はWebFetchで403。検索スニペットと既存知識を組み合わせて執筆。