21 世紀の現代数学 — ペレルマン・望月新一・テレンス・タオとミレニアム問題

21 世紀の 数学 — 3 つの 極端な生涯

数学の系譜 シリーズ 最終記事では、 21 世紀の 現代数学 を代表する 3 人を辿る。 いずれも 極端な人生の選択 をした人物:

• グレゴリー・ペレルマン (1966-) — ロシア、 ポアンカレ予想を証明 し、 フィールズ賞・100 万ドル賞金 の両方を辞退 して隠遁
• 望月新一 (1969-) — 日本、 500 ページの独自理論 で ABC 予想を証明したと主張するも 国際的合意は未達
• テレンス・タオ (1975-) — オーストラリア、 「現代のフォン・ノイマン」 と呼ばれる万能数学者、 AI と数学 の融合を推進

前記事 [チューリング・ワイルズ] の 「孤独な作業」 系譜が、 21 世紀では より劇的な形 で現れる。 そして 2500 年の 数学史を、 このシリーズは 締めくくる。

グレゴリー・ペレルマン — 100 年の 問題を解いて 消えた男

グリゴリー・ヤコヴレヴィチ・ペレルマン (Григо́рий Я́ковлевич Перельма́н、 1966-) は ロシア・レニングラード (現サンクトペテルブルク) 生まれの ユダヤ系数学者。 100 年間未解決だった ポアンカレ予想を 2002-2003 年に証明 した。

2006 年フィールズ賞、 2010 年クレイ数学研究所の 100 万ドル賞 (ミレニアム懸賞問題) の いずれも辞退 し、 現在は サンクトペテルブルクで 母とともに 静かに暮らしている とされる。 「メディアの注目」 「数学界の不公正」 を強く嫌い、 公の場から 完全に退いた。

ポアンカレ予想 (1904) と リッチフロー

ポアンカレ予想 (前記事 [ヒルベルト・ポアンカレ・ゲーデル] 参照) は:

「単連結な閉 3 次元多様体は 3 次元球面 S³ に同相か」

という 幾何学的問い。 100 年間、 トポロジー的アプローチで挑まれ続けたが 本質的進展がなかった。

• 5 次元以上 — スメール (1961) が証明、 フィールズ賞
• 4 次元 — フリードマン (1982) が証明、 フィールズ賞
• 3 次元 — 唯一残された

ペレルマンは 「リッチフロー」 (Ricci flow)、 すなわち 多様体の計量を 曲率テンソルに従って 時間発展させる 解析的方法 を用いた。 これは リチャード・ハミルトンが 1980 年代に始めた手法 で、 ペレルマンはその 技術的・概念的障害を 完全に乗り越え、 より一般の サーストン幾何化予想 ごと解決した。

2002-2003 — 3 本の プレプリント

ペレルマンは 2002 年 11 月から 2003 年 7 月にかけて、 arXiv に 3 本のプレプリント を投稿:

1. [The entropy formula for the Ricci flow and its geometric applications] (2002-11)
2. [Ricci flow with surgery on three-manifolds] (2003-3)
3. [Finite extinction time for the solutions to the Ricci flow on certain three-manifolds] (2003-7)

査読論文誌に投稿せず、 arXiv に直接投稿 した。 論文は 極度に圧縮 されており、 細部を埋めるには 長大な解読作業 が必要だった。

3 つの独立グループ が それぞれ詳細な検証:

• カオ・朱熹平
• クライナー・ロット
• モルガン・ティアン

すべてが ペレルマンの議論が 正しいことを 確認 した。 21 世紀の 「オープンサイエンス」 の 先駆事例。

フィールズ賞 辞退 (2006)

2006 年、 国際数学者会議 (マドリード) で、 ペレルマンに フィールズ賞 が授与されることが発表された。 彼は 受賞を辞退した 最初の人物 となった (これ以前に 辞退者は存在しない)。

辞退の理由:

「賞は、 私の証明が 正しいかどうかとは 何の関係もない。 証明が 正しければ、 それ以上の認知は 不要だ」

• 数学界の不公正 への失望 (特にカオ・朱の論文が 自分の証明を 「完成」 させたかのように 発表されたこと)
• メディアの過剰な注目 への嫌悪

100 万ドル 辞退 (2010)

クレイ数学研究所 は 2000 年に 「ミレニアム懸賞問題」 7 つ を設定し、 各 100 万ドルの賞金を提示した:

1. リーマン予想
2. ポアンカレ予想 ← 唯一解決済み
3. ヤン・ミルズ理論と 質量ギャップ
4. ナヴィエ・ストークス方程式
5. ホッジ予想
6. バーチ・スウィナートン=ダイアー予想
7. P 対 NP 問題

2010 年、 ペレルマンの ポアンカレ予想証明に対し 賞金が認定 された。 彼はこれも辞退:

「自分の貢献は ハミルトンと 同等か、 それ以下だ。 彼に与えるべき賞金を 私だけが受け取るのは 不公正だ」

「賞金の 100 万ドルより、 数学の正義」 を選んだ。 数学史における 前代未聞の 選択。

ペレルマンの 人間像

• 弦楽器を奏で、 文学・哲学を深く愛する
• 数学に関する議論には 開放的だったが、 メディア取材は 徹底拒否
• 食生活は 質素 (ライ麦パン、 ヨーグルト 等)
• ロシア人・ユダヤ系として、 ソ連末期・ロシア混乱期を 生き抜いた
• 母リューバとの絆が深く、 現在も同居
• 1992-1995 年に 米国 (NYU, SUNY, Berkeley) に滞在し、 リッチフローを学んだ後、 ロシアに帰国。 米国に留まる選択肢を 選ばなかった

「あなたは 数学を諦めたのか?」 と問われたペレルマン:

「数学を諦めたわけではない。 コミュニティに 失望しただけだ」

望月新一 — 500 ページの 「宇宙際」 理論

望月新一 (もちづき しんいち、 1969-) は 東京生まれの数学者。 京都大学数理解析研究所 (RIMS) 教授。 「宇宙際タイヒミュラー理論」 (Inter-universal Teichmüller theory、 IUTT) を構築し、 これによる 「ABC 予想」 の証明 を 2012 年に発表 した。

しかしこの証明は 500 ページ超の 極めて難解な 独自理論に立脚 しており、 世界の数論幾何コミュニティの 大半が 完全には検証できない状態 が続いている。 2020 年、 京都大学のジャーナル PRIMS で 査読を経て出版 されたが、 ピーター・ショルツェ (フィールズ賞 2018) を筆頭に 異論も根強く、 現在 (2026 年) も 国際的合意には至っていない。

ABC 予想 — 「数論の 万能定理」

ABC 予想 (Oesterlé-Masser、 1985) は、 整数 a + b = c (互いに素) における 和 c と 「根基」 (rad: 素因数の積) との関係 についての予想:

任意の ε > 0 について、 ある定数 K_ε が存在して、 c ≤ K_ε · rad(abc)^(1+ε)

直観的には 「a + b = c で 素因数が小さいものばかり (例えば a, b, c が 高い素冪) は めったに起きない」 。

ABC 予想の 系

この予想が真であれば、 一行で 以下の 20 世紀数論の主要問題が 大量に従う:

• フェルマー最終定理 (大きな指数の場合)
• カタラン予想 (連続冪)
• モーデル予想 (代数曲線の 有理点有限性) の 有効版
• Wieferich 素数 の 無限性

「数論の 万能定理」 の異名を持つ。 一つ解ければ、 20 世紀数論が 一気に片づく。

望月の 歩み

• 1969 年 — 東京生まれ。 父は経済学者
• 1985 年 — 16 歳で渡米、 エクセター・アカデミー入学
• 1992 年 — プリンストン大学博士号 (指導教官: ファルティングス)、 23 歳
• 1994 年 — 京都大学数理解析研究所 助教授、 後に教授
• 1990 年代 — Hodge-Arakelov 理論を構築
• 1996-2000 年 — 遠アーベル幾何学への 重要な貢献 (グロタンディーク予想の 特殊ケース解決)
• 2000 年代 — 宇宙際タイヒミュラー理論を 独力で構築
• 2012 年 8 月 — 4 本の IUTT 論文を RIMS のサイトに公開
• 2020 年 4 月 — 京大 PRIMS で 査読を経て出版

ファルティングス、 ドリンフェルト、 グロタンディーク 等の 代数幾何学伝統の 継承者であり、 その上で 大胆に 「離脱」 したスタイル で知られる。

宇宙際タイヒミュラー理論 (IUTT)

IUTT は 次のような特徴を持つ:

1. 複数の 数学的宇宙 (Galois categories) を考える — 異なる体系を 「並列に」 走らせる
2. theta link — 二つの宇宙の間を 「対称性破れ」 を含む対応で結ぶ
3. 加法と 乗法の分離 — 通常の代数では 一体だった 加法構造と 乗法構造を 分離し、 再構成する
4. Frobenioid — 環や群とは異なる、 望月独自の 代数構造

これにより、 ABC 予想の不等式は、 theta link を経由した 二つの宇宙の 「サイズ」 比較として得られる — というのが 議論の骨子。

検証論争 — ショルツェ来日 (2018)

2018 年、 ペーター・ショルツェ (Peter Scholze、 当時 25 歳で フィールズ賞最有力) と ヤコブ・スティクス が 京大を訪問し、 5 日間にわたって 望月と直接議論。 彼らは IUTT の 「Corollary 3.12」 (中核的不等式) に 致命的なギャップがある と主張する報告書 [Why abc is still a conjecture] を公表。

望月は 「彼らは IUTT を誤解している」 と反論し、 長大な応答文書を公開した。 2020 年に 京大の査読を経て 論文は出版された が、 ショルツェ、 Kiran Kedlaya、 Brian Conrad など 世界の代数数論コミュニティの 主要メンバーは 依然として 証明を受け入れていない。

これは 現代数学界における 異例の事件 であり、 「査読が成立しない論文」 「言語的・文化的隔絶」 「数学コミュニティの 社会学的問題」 として議論されている。

加藤文元 [宇宙と宇宙をつなぐ数学]

日本語圏では、 加藤文元 (東工大→東大) の解説書 [宇宙と宇宙をつなぐ数学] (2019、 KADOKAWA) が 決定的役割を果たした。 一般読者向けに IUTT の エッセンス を伝える 名著。

「日本ローカル」 とのレッテル を貼られがちだが、 玉川安騎男・星裕一郎・山下剛・Go Yamashita ら IUTT を完全理解していると言われる 数学者は世界各地に存在。 「言語の異なる 数学の宇宙」 という 現代科学社会学の 珍しい事例。

テレンス・タオ — 「現代のフォン・ノイマン」

テレンス・チーシェン・タオ (Terence Chi-Shen Tao、 陶哲軒、 1975-) は 香港系オーストラリア人の数学者。 アデレード生まれ。

• 10 歳 — IMO 銅
• 11 歳 — IMO 銀
• 12 歳 — IMO 金 (歴史上最年少、 2023 年まで記録保持)
• 14 歳 — 学士号
• 16 歳 — 修士号
• 17 歳 — プリンストン大学博士課程入学 (指導教官: スタイン)
• 21 歳 — Ph.D.
• 24 歳 — UCLA 正教授
• 31 歳 — フィールズ賞 (2006)

調和解析、 加法的組合せ論、 偏微分方程式、 確率論、 解析的整数論、 ランダム行列 など、 極めて広い領域で 第一級の業績。 「現代数学の 万能の才」 と評され、 フォン・ノイマン以来の 汎才 と呼ばれる。

タオの 数学スタイル — 「翻訳能力」

タオの数学スタイルは 「複数分野の手法を 自在に融合させる」 こと。 彼自身:

「数学的成熟とは、 ある特定領域に 深く沈潜することではなく、 複数の領域を 行き来する 翻訳能力にある」

と語る。 前記事の ポアンカレ (最後の万能数学者) 以来、 100 年ぶりに 現れた 「全ての領域を 見渡す」 タイプの 数学者。

グリーン・タオの 定理 (2004)

ベン・グリーンとの共著論文 [The primes contain arbitrarily long arithmetic progressions] で:

「素数の中には 任意の長さの等差数列が 存在する」

を証明した。 これは 1939 年に van der Corput が 長さ 3 の場合 を、 長い間 それ以上の進展がなかった問題。

証明の核心:

• セメレディの定理 (正の密度を持つ整数集合は 任意長の等差数列を含む) を Furstenberg のエルゴード理論的証明 を経由
• 素数の集合を 「ほぼ random」 な部分集合として近似 (素数の擬似ランダム性)
• Goldston-Yıldırım の篩 を活用

複数の分野 (組合せ論・解析・エルゴード理論・整数論) を 統合した 代表例。 これによりタオは 2006 年フィールズ賞。

タオの 業績群

業績	内容	共著
グリーン・タオの定理 (2004)	素数の中に 任意長の等差数列	Ben Green
カケヤ予想・制限予想	調和解析の中心問題	単独/Bourgain 他
ナヴィエ・ストークス方程式	有限時間爆発の可能性	単独 (2016)
圧縮センシング	スパース信号の復元理論	E. Candès
ランダム行列	普遍性、 固有値分布	Van Vu 他
ホーン予想	エルミート行列の固有値	Knutson 他

圧縮センシング は現代の MRI 画像取得、 信号処理、 機械学習の 特徴選択 の 理論基盤。

タオのブログ [What’s new]

タオは 2007 年から 自身のブログ [What’s new] (terrytao.wordpress.com) を運営し、 研究進展・教育的解説・数学界の話題 を発信し続けている。 総計 1000 本以上の記事 は、 現代数学の最高峰の知識を オープンに伝える 希有なリソース。

教科書 [Analysis I, II] は 厳密な実解析入門書として 世界中で使われ、 邦訳 (タオ [解析入門] 全 2 巻) も出版 されている。

「大数学者が 一般公開のブログで 現代数学を語り続ける」 — 21 世紀の 新しい 学問伝達のスタイル。 前記事 [オイラー・ガウス] の オイラー [ドイツ王女への手紙] の 現代版。

AI と 数学 (2023-2026) — タオの 新しい方向

2023 年以降、 タオは Lean 言語による 形式定理証明 と LLM (Claude, ChatGPT, GitHub Copilot) を組み合わせた 数学研究のフロンティア に 積極的に参加している:

• 2023 年 — PFR 予想 (Polynomial Freiman-Ruzsa) の証明を Lean で形式化する プロジェクト を主導
• 2024 年 — 多数の数学者と協力して 「AI による証明支援」 のワークフローを試行
• 2025-2026 年 — 数学研究における 人間と AI の 協力モデルの提唱者

タオは:

「AI は 数学者を置き換えない、 しかし 数学者の働き方を 根本から変える」

と述べ、 これからの数学コミュニティの 方向性に 大きな影響を与えている。 前記事 [チューリング・ワイルズ] の チューリングテスト の 予測が、 21 世紀の数学研究の現場 で 現実になりつつある。

ミレニアム 7 問題の 現在 (2026 年)

クレイ数学研究所の ミレニアム 7 問題 (2000 年設定、 賞金各 100 万ドル):

問題	現状	関連前記事
1. リーマン予想	未解決	オイラーのゼータ関数
2. ポアンカレ予想	2003 年 ペレルマン 解決 ✓	この記事
3. ヤン・ミルズと質量ギャップ	未解決	—
4. ナヴィエ・ストークス方程式	未解決、 タオが部分結果	この記事
5. ホッジ予想	未解決	—
6. バーチ・スウィナートン=ダイアー予想	未解決	—
7. P 対 NP 問題	未解決	—

26 年で 1 問解決 — 数学の 「フロンティア」 が、 現代でも 存在することの 証拠。 「数学は 終わった学問」 では ない。 21 世紀もなお、 発見の 余地が広がっている。

21 世紀の 数学の 特徴

前記事までの 数学史を振り返り、 21 世紀の数学の 特徴:

• 超専門化 — 一つの分野を極めるのに 20 年以上かかる
• 国際協力 — arXiv、 オンライン査読、 世界会議
• AI との協力 — Lean、 LLM、 自動証明
• 計算機との融合 — 4 色問題 (1976)、 ケプラー予想 (1998)、 PFR 予想 (2023)
• 「言語の宇宙」 — 望月理論のような、 一つのコミュニティ内でも 共有困難な理論
• 無名の 天才 — ペレルマンのような、 メディアから 完全に退く選択
• 多様性 — 女性、 アジア系、 非西洋出身の数学者の 増加

2500 年の 数学史 — 総括

数学の系譜 シリーズ は、 紀元前 6 世紀の ピタゴラス から、 2026 年の タオ まで、 2500 年の 数学史 を辿った:

• BC 6-3 世紀 [古代ギリシャ] — ピタゴラス・ユークリッド・アルキメデス、 論証としての数学の確立
• 3-16 世紀 [中世〜近世前期] — ディオファントス・アラビア数学・フィボナッチ・関孝和、 非ヨーロッパ数学
• 17 世紀 [科学革命前半] — デカルト・フェルマー、 座標幾何と 358 年の宿題
• 17 世紀後半 [微積分] — ニュートン・ライプニッツ、 30 年の優先権論争
• 18-19 世紀 [巨人たち] — オイラー・ガウス、 全数学の半分と 数学の王
• 19 世紀前半 [厳密化] — コーシー・アーベル・ヤコビ、 ε-δ 論法と楕円関数
• 19 世紀 [悲劇の天才] — ガロア・ラマヌジャン、 20 歳決闘死と 独学の神秘
• 20 世紀初頭 [基礎論] — ヒルベルト・ポアンカレ・ゲーデル、 23 問題と不完全性定理
• 19-20 世紀 [女性たち] — ジェルマン・ネーター、 制度の壁を越える
• 20 世紀 [孤独な作業] — チューリング・ワイルズ、 コンピュータ科学と フェルマー最終定理
• 21 世紀 [現代] — ペレルマン・望月・タオ、 100 万ドル辞退・宇宙際理論・AI と数学

「数を数える」 ことから始まり、 「無限」 「連続」 「構造」 「証明」 といった概念を 発明することで、 人類は 世界を 新しい方法で 把握してきた。 ピタゴラスから タオまで、 数学者たちは 抽象的な世界の 探検家 であり続けた。

「人と発見」 のドラマ — 12 の名場面

このシリーズで辿った 12 の名場面:

1. BC 6 世紀 — ピタゴラス教団と √2 が無理数の 発見
2. BC 3 世紀 — ユークリッド [原論] の 公理化
3. 1637 年 — フェルマーが余白に 「証明が狭すぎる」
4. 1665-66 年 — ニュートンの 「奇跡の年」
5. 1801 年 — 24 歳ガウス [整数論研究] 出版
6. 1832 年 — 20 歳ガロアの決闘前夜の 徹夜遺書
7. 1913 年 — ラマヌジャンの手紙が ハーディに届く
8. 1931 年 — 25 歳ゲーデルの不完全性定理
9. 1994 年 — ワイルズによる フェルマー最終定理の証明
10. 2003 年 — ペレルマンが arXiv に 3 本のプレプリント投稿、 ポアンカレ予想解決
11. 2012 年 — 望月新一の IUTT・ABC 予想論文発表
12. 2023 年〜 — タオが Lean と LLM で 数学の未来を切り開く

数学は 「終わっていない」

21 世紀もなお、 発見の 余地が広がっている。 ミレニアム 6 問題が未解決、 IUTT の 国際的合意も未達、 AI との協力も 始まったばかり。

「数学の 全体像を 一人で 見渡せた 最後の数学者」 としての ポアンカレ (1854-1912) 以降、 数学は 専門化と 拡散 の道を歩んできた。 だが 21 世紀の タオのような 例外、 AI と協力する 新しい形 が、 再び 数学全体を 見渡す 視点 を可能にしつつある。

2500 年前の ピタゴラス から、 2026 年の 現代数学者 まで — 「無限に発見が続く」 学問 としての 数学は、 これからも 静かに続いていく。

math-history シリーズ 完結

このシリーズは overview + 11 記事 = 12 コンテンツ で、 2500 年の 数学史 を辿った。

読者へ:

• 入門書 — 高木貞治 [近世数学史談]、 E.T.ベル [数学をつくった人びと]
• 映画 — [ビューティフル・マインド] [イミテーション・ゲーム] [奇蹟がくれた数式]
• サイモン・シン — [フェルマーの最終定理] [暗号解読] [ビッグバン宇宙論]
• タオのブログ — terrytao.wordpress.com (世界最高峰の数学者の 直接発信)
• オンラインコース — MIT OpenCourseWare、 Coursera、 数学系 YouTube

「一つの定理を 1 週間かけて 理解する」 — 数学の 最も贅沢な楽しみ方。 ピタゴラスから タオまで、 全ての数学者が 経験した 静かな悦び。

2500 年前の 定理も、 現代の未解決問題も、 同じ 「人と発見の ドラマ」 として、 私たちの 目の前に 開かれている。

math-history シリーズ 完結。 数と論理の 2500 年の 静かなる叙事詩を、 ここに終える。