数学は「発見」か「発明」か — テリー・タオとAIが2500年来の問いを揺さぶる

テーマ設定 — 問いの形式

もしAIが人間の知らなかった数学的真理を「発見」するなら、数学とは何か？

2026年、この問いがかつてなく切実になった。フィールズ賞受賞者のテリー・タオ(Terence Tao、現代最高の数学者とされる)がAIを共同研究者として使い始め、人間には80年間証明できなかった定理が機械によって突破され、流体力学の方程式に潜む「隠れた特異点」がAIによって初めて発見された。

これは単なる技術の進歩ではない。数学の本質 — そして知識とは何か — についての古くて深い問いへの挑戦である。

本文

1. プラトンかアリストテレスか

「円周率πは3.14159...である」。これは人間が発明したルールなのか、それとも宇宙が始まる前から存在していた事実を人間が発見したのか。

この問いは哲学史において「数学的プラトン主義」と「数学的形式主義」の対立として知られる。

プラトン主義(実在論)：数学的対象(数、図形、関数)は物理世界とは独立に存在する。数学者は発見者であって発明者ではない。素数は、誰も数えなくても無限に存在する。「数学の美しさ」は、その背後にある独立した実在を我々が垣間見る感覚だ。

形式主義：数学は記号と規則のゲームに過ぎない。「1+1=2」は、我々が定めた公理系の中でのみ真である。数学は「完全に整合的な言語ゲーム」であり、その外側に「数学的宇宙」があるわけではない。

どちらの立場も圧倒的な直観的説得力を持ちながら、互いを論駁しきれずに2500年が経過した。

2. AIが数学を「する」ようになった

2026年に事態は新局面を迎えた。

テリー・タオの転換：UCLA教授のテリー・タオは当初、AIによる数学を懐疑的に見ていた。しかし2025〜2026年にかけて、AIとの共同作業を通じて「実験的数学(experimental mathematics)」という新しい数学の方法論が見えてきた、と語る。AIは反例を探す速度が人間をはるかに超え、タオは「どの方向に掘るか」の直観をAIが計算パワーで補完することで、人間単独では辿り着けなかった結果を出せるようになったという。

流体方程式の隠れた特異点：2026年1月、数学者たちはAIを使ってナビエ-ストークス方程式(Navier-Stokes equations、流体の運動を記述する方程式)の「特異点候補」を探索した。特異点とは、方程式が「無限大に発散してしまう」点のこと。もし特異点が存在すれば、方程式は「破綻する」。チームはAIを使って既知の特異点を再検証し、人間が80年間見落としていた「不安定な特異点」の存在を初めて確認した。これは1次元を超える流体での初めての発見だった。

エルデシュ法の80年ぶり改良：組合せ数学の巨人パウル・エルデシュ(Paul Erdős)が1946年に示した「R(3,l)の下界」の証明法(エルデシュ法)が、80年ぶりに更新された。2026年6月、ホーン(Horn)らはAI支援のもとでエルデシュ法の更新版を用い、より精密な下界を証明した。

3. 哲学的問いへの衝撃

これらの事実は数学哲学に奇妙な緊張をもたらす。

形式主義への挑戦：もし数学が単なる記号ゲームなら、AIはそのゲームの達人であれば十分だ。しかしタオが描く「実験的数学」では、AIは単なる計算機ではなく「どこを探れば面白い真理があるか」の嗅覚を持ち始めているかに見える。記号ゲームの達人が「数学的直観」を持つとはどういうことか。

プラトン主義への補強：一方で、AIの発見は「数学的真理は探せば出てくる」というプラトン主義的直観を強化する。エルデシュの定理の改良や流体方程式の特異点は、「誰も知らなかったが、確かにそこにあった」。AIはその「そこ」を照らすライトに過ぎないとも言える。

第三の可能性：哲学者のマルクス・ガブリエル(Markus Gabriel)らが提唱する「新実在論」では、数学的対象は「私たちの社会的実践の中に実在する」と解釈する。AIが人間の数学的実践を学習し、その内部ロジックを超拡張して新たな「真理」を生み出すなら、それは新実在論的に見てプラトン的発見でも人間的発明でもない第三の何かかもしれない。

4. なぜこれが重要か

数学の哲学は「どうせ答えが出ない話」に見えるが、実は現代テクノロジーの基盤となる問いだ。

AIが証明した定理を「人間は理解しなくても信頼してよいか」。AIが発見した薬分子を「なぜ効くかわからなくても使ってよいか」。これらは全て「知識とは何か、理解とは何か」という哲学的問いの現代版だ。テリー・タオが「AIとの数学は人間単独の数学とは違う何かだ」と語るとき、彼は数学者として同時に認識論者になっている。

2500年前、プラトンは動的な洞窟の影を見ながら「本物の実在はもっと別のところにある」と言った。今、AIが生成する証明の「影」を見ながら、我々は同じ問いを新しい形で問い直している。

さらに学ぶために

書籍

1. G.H. ハーディ『ある数学者の弁明』(1940/岩波文庫) — 現役数学者が書いた数学哲学の古典。「数学者は発見者か発明者か」を最も誠実に問うた書。
2. ロジャー・ペンローズ『皇帝の新しい心』(1989/みすず書房) — 意識・AI・数学的実在の関係を探る大著。「コンピュータは数学的直観を持てるか」を真剣に問う。

論文・記事

3. "How Terry Tao Became an Evangelist for AI in Math" — Quanta Magazine (2026年6月8日) AIと数学の関係の現在地を伝える第一級のルポ。タオ自身の言葉で、AIが数学研究をどう変えたかを語る。
   URL: https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/

※ 脚注

• フィールズ賞: 数学のノーベル賞に相当する賞。4年ごとに40歳未満の数学者に授与。テリー・タオは2006年受賞。
• ナビエ-ストークス方程式: 粘性流体の運動を記述する偏微分方程式。解の存在と滑らかさの証明は「クレイ数学研究所の100万ドル懸賞問題」の一つ(ミレニアム問題)。
• エルデシュ数: ポール・エルデシュとの共著関係を「6次の隔たり」的に数える概念。数学者コミュニティで愛用される。