教養を深める1本 — 2026年7月11日

テーマ：AIは数学を「証明」できるか——それとも「生成」しているだけか？

問いの設定

GPT-5.6の登場と同じ週に、Quanta Magazineは「AIによる数学革命が到達した」と題する報告を刊行した。フィールズ賞受賞者のテリー・タオ*がAIを数学研究のツールとして積極的に活用し始めたという記事も、大きな反響を呼んでいる。

だがここで根本的な問いが生まれる——AIは数学を「理解」しているのか、それとも巧みに「それらしい記号列」を生成しているだけなのか？

この問いは数学の哲学的基礎に踏み込み、ひいては「知性とは何か」という人類が長らく格闘してきた問いへと連なる。

*テリー・タオ: オーストラリア出身の数学者。2006年フィールズ賞。整数論・調和解析・偏微分方程式など幅広い分野で業績を持つ、現代最高峰の数学者の一人。

本文

1. 「証明」とは何か

数学における「証明」は、日常語の「証拠」とは異なる。ある命題 P が真であると示すためには、公理（疑いえない基本ルール）から出発し、論理的に許された変形のみを用いてPに到達する 有限の手順の列 が必要だ。この手順の列が「証明」であり、一度証明されれば永遠に真である——これが数学の最大の強みだ。

20世紀初頭、数学者ダフィット・ヒルベルト[^1]は「数学全体を有限個の公理から機械的に導出できる体系」を構築しようとした（ヒルベルト・プログラム）。しかし1931年、クルト・ゲーデル[^2]は「不完全性定理」によってこの夢を粉砕した。

ゲーデルの不完全性定理（第1定理の直感的説明） どんな無矛盾な形式体系にも、その体系の中では証明も反証もできない真の命題が存在する。

つまり「機械的に全ての数学的真理を導出する」ことは原理的に不可能だ。これは、数学とコンピュータと人間の知性の関係を考えるうえで、今もなお中心的な哲学的問題であり続けている。

2. AIが「証明」に参入する

Quanta Magazineの2026年4月の報告によれば、AIはいまや大学院レベルの数学問題を解き、ある研究分野では独自の補題（証明の途中ステップ）を発見し始めている。テリー・タオは「AIは私が3日かけていた計算を数分でやる。それを使わない理由がない」とコメントしている。

だがここに哲学的緊張がある。AIがステップの列を生成する際、それは**証明（proof）**なのか、**証明に似た構造（proof-like structure）**なのか？

区別のカギは「理解」にある。人間の数学者は証明の各ステップが「なぜ正しいか」を内省できる。対してAIは確率分布に基づいてトークンを連結する。正しい答えを出した場合でも、それが「理解」から来たものなのか「パターンマッチング」から来たものなのかは外から判別できない——これをコンピュータ科学者のジョン・サール[^3]は「中国語の部屋」の思考実験で1980年に先取りしていた。

3. 量子証明という新たな次元

2026年7月6日、Quanta Magazineはさらに難解な領域の報告を出した。「量子証明の力を研究者が解明」という記事だ。

「量子証明」とは量子力学の原理を用いた証明の検証方式で、古典的コンピュータでは検証に指数関数的な時間がかかる問題を、量子状態を「証拠」として用いることで効率的に検証できる可能性がある。これは数学的真理の「証明方式」そのものが複数ありえることを示唆する。

人間の知性が「論理の連鎖を追う」ことで真理を確認するのに対し、量子証明は「物理的状態を観測する」ことで真理を確認する——これは「真理とは何か」という認識論[^4]の問いを根底から更新しうる。

4. 「理解する機械」への問い

哲学者ルートヴィヒ・ウィトゲンシュタイン[^5]は「規則に従う」ことの不思議さを問うた。ある規則に従って行動するとき、その「規則の正しい理解」を保証するものは何か？　人間も究極的には「訓練と習慣」によって規則を学ぶ。その意味では、AIの学習と人間の学習は本質的に異なるのだろうか。

現在の主流的見解は「AIは構文（シンタックス）を操作するが意味（セマンティクス）を理解しない」だ。しかし、テリー・タオのような最高峰の数学者がAIと協働して新発見を生む時代に、「どちらが理解しているか」という問いはより実践的な重みを持ち始めている。

AIが数学を「理解」していなかったとしても、人類の知の拡張に貢献しているなら——それは知性の拡張とどう違うのか。この問いへの答えは、AIツールを毎日使うエンジニアにとっても、決して遠い抽象論ではない。

さらに学ぶための3点

1. 書籍: ダグラス・ホフスタッター『ゲーデル、エッシャー、バッハ』(1979) — 不完全性定理・意識・再帰を軽やかに結びつけた知的冒険の書。英語圏で最も読まれた哲学的科学書の一つ。

2. 論文・記事: "The AI Revolution in Math Has Arrived" — Quanta Magazine (2026/4/13) AIが数学研究の実務をどう変えているかを具体的事例で追う。 https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/

3. 論文: "Computing Machinery and Intelligence" — アラン・チューリング (1950) 「機械は考えることができるか」という問いを定式化した歴史的論文。チューリングテストの原典。現代のAI論争の起点として今なお必読。

[^1]: ダフィット・ヒルベルト (1862–1943): ドイツの数学者。数学の形式化・公理化を推進し、20世紀初頭の数学を主導。 [^2]: クルト・ゲーデル (1906–1978): オーストリア生まれの論理学者。不完全性定理により数学・論理学・哲学に革命をもたらした。 [^3]: ジョン・サール (1932–): アメリカの哲学者。「中国語の部屋」思考実験でAIの「意味理解」の不可能性を論じた。 [^4]: 認識論: 知識とは何か、どのように知識を得るかを研究する哲学の分野。 [^5]: ルートヴィヒ・ウィトゲンシュタイン (1889–1951): オーストリア出身の哲学者。『哲学探究』で言語・規則・理解の本質を問い直した。