Yakan AI Books

数学は発見か発明か？——AIが変えつつある永遠の問い

liberal-arts

  • #数学哲学
  • #プラトン主義
  • #AI
  • #テレンス・タオ
  • #認識論

数学は発見か発明か？——AIが変えつつある永遠の問い

テーマ設定

「円周率πは、人類が生まれる以前から宇宙に存在していたのか？それとも人間が便利な道具として作り上げたものなのか？」

この問いは古代ギリシャ以来2500年間、哲学者・数学者を悩ませてきた。しかし2026年、AIが数学定理を証明・発見できるようになった今、この問いは全く新しい意味を帯びはじめている。

本文

二つの立場：プラトンかヒルベルトか

数学の哲学には大きく二つの立場がある。

プラトン主義（数学的実在論） は、数・図形・関数などの数学的対象が人間の意識とは独立して客観的に存在すると主張する。数学者は白紙に何かを「書く」のではなく、すでに存在する真理を「掘り起こす」探検家だという見方だ。プリンストン大学の数学者セルジュ・クライニャーマン[^1]はこの立場の現代的な擁護者で、「数学的事実は神聖なものだ——論理が正しければ、それは永遠に正しい」と語る。

対して形式主義は、数学を「記号と規則のゲーム」に過ぎないと見る。20世紀初頭のダフィット・ヒルベルト[^2]が代表格で、「2+2=4」は人間が定めたルールに従った結果であり、そこに宇宙的な真実は宿っていないという。数学は人間が発明した言語の一つにすぎない。

さらに直観主義（L.E.J.ブラウワー）は、数学的対象は人間の精神構造の中にのみ存在し、人間が構成できないものは存在しないと言い切る。「無限集合」さえも、人間の直観を超える以上は意味を持たないという過激な立場だ。

AIが揺さぶる土台

2026年、この哲学的論争に新たな登場人物が現れた——AIだ。

フィールズ賞（数学のノーベル賞）受賞者テレンス・タオは、2026年にAI数学の伝道者として注目されている。AIがLeanやMathlib[^3]などの形式証明システムと組み合わさることで、人間が見逃していた定理の証明や、未解決問題へのアプローチを生成し始めているのだ。Quanta誌は2026年4月「AIによる数学革命が到来した」と宣言した。

ここで哲学的な問いが再浮上する。

もしAIが人間の監督なしに新しい数学的真理を「発見」するならば、その真理はAIが生まれる前から存在していたはずだ——つまりプラトン主義が正しいのではないか？

逆に言えば、AIは単に既存のデータのパターンを統計的に外挿しているに過ぎず、「発見」ではなく「推測」をしているという見方もある。この場合、生成されたAIの定理証明は、精巧な言語ゲームであって、宇宙の真理を照らすものではない。

「理解する」と「計算する」は違う

哲学者ロジャー・ペンローズは著書『皇帝の新しい心』（1989年）で、人間の数学的洞察はアルゴリズムに還元できないと論じた。ゲーデルの不完全性定理——「どんな形式体系も、その内側では証明できない真の命題がある」——を人間は直感的に理解できるが、AIには決してできないと彼は主張した。

しかし、AIが複雑な証明を「理解せずに」生成するとしたら、ペンローズの議論はどこまで有効か？2026年のAIが旧来の「アルゴリズム」を超えた何かを持ちはじめているとすれば、数学的直観と計算の境界線自体が問い直されることになる。

なぜ今これが重要か

表面的には抽象的なこの問いは、実は現代の技術哲学の中心にある。

プラトン主義者ならば「真理は人間もAIも超えたところにある。重要なのは誰が見つけたかではなく、正しいかどうかだ」と答えるだろう。形式主義者は「数学はツールだ。AIというより優れたツールが出てきた、それだけのことだ」と言うかもしれない。

どちらの立場を取るにせよ、今私たちは数学の性質そのものを問い直す時代の入り口に立っている。

[^1]: セルジュ・クライニャーマン（Sergiu Klainerman）プリンストン大学数学教授。偏微分方程式の専門家で、数学的実在論の擁護者として知られる。 [^2]: ダフィット・ヒルベルト（David Hilbert, 1862-1943）ドイツの数学者。「ヒルベルト・プログラム」として数学全体を有限の公理系から形式的に導出しようとしたが、ゲーデルの不完全性定理により不可能と証明された。 [^3]: Lean/Mathlib: インタラクティブな定理証明器とその数学ライブラリ。AIとの組み合わせで形式的な数学証明の自動生成が進んでいる。

さらに学ぶための 3 点

  1. 「For Sergiu Klainerman, maths is a fact to be divined」 — Aeon Essays（2026年5月） 数学的プラトン主義を現役数学者の視点から論じた長編エッセイ。数式なしで数学哲学の核心に触れられる入門に最適。 → https://aeon.co/essays/for-sergiu-klainerman-maths-is-a-fact-to-be-divined

  2. 「How Terry Tao Became an Evangelist for AI in Math」 — Quanta Magazine（2026年6月） 世界最高の数学者の一人がAIを使った数学研究の伝道者になるまでの経緯と、AI数学の現在地を詳述。具体的なツール（Lean、LLM統合）の解説あり。 → https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/

  3. 「Philosophy of Mathematics」 — Stanford Encyclopedia of Philosophy 数学哲学の全立場（プラトン主義・形式主義・直観主義・構造主義）を網羅した学術権威による無料百科。議論の地図として手元に置いておきたい一冊。 → https://plato.stanford.edu/entries/philosophy-mathematics/

参考