現代数学Top5
| 氏名 | 生年月日 | 国籍 | 主な所属機関 | 主要理論・貢献 |
|---|---|---|---|---|
| V. ヴォエヴォドスキー | 1966 – 2017 | ロシア / 米国 | プリンストン高等研究所 | モチヴィック・コホモロジー、単数的基盤 (HoTT)、ミルナー予想の解決 |
| ピーター・ショルツ | 1987 – | ドイツ | ボン大学 / マックス・プランク研究所 | パーフェクトイド空間、凝縮数学 (Condensed Mathematics) |
| トーマス・ヘイルズ | 1958 – | 米国 | ピッツバーグ大学 | ケプラー予想の証明、Flyspeckプロジェクト（形式的検証の完遂） |
| ジェイコブ・ルーリー | 1977 – | 米国 | プリンストン高等研究所 | 高次圏論 (\infty-圏)、導来代数幾何学の体系化 |
| テルレンス・タオ | 1975 – | 豪州 / 米国 | UCLA | グリーン・タオ定理、AI・Leanを用いた数学探査の推進 |
| ケヴィン・バザード | 1968 – | 英国 | インペリアル・カレッジ・ロンドン | 数学の形式化 (Lean)、Xenaプロジェクト、数学のデジタル化の先導 |
| 各者の役割とヴォエヴォドスキーとの繋がり |
- ヴォエヴォドスキー（革命家）: 数学を「型理論」と「ホモトピー」で再定義しようとした全能の異端児。
- ショルツ（完成者）: ヴォエヴォドスキーが作った「コホモロジー」の道具を極限まで進化させ、数論と幾何学を完全に融合させている。
- ルーリー（体系化者）: ヴォエヴォドスキーが直感的に描いた「高次の世界」を、数千ページの厳密な理論（\infty-圏）として整備した。
- ヘイルズ（実証者）: 「人間は間違えるが機械は間違えない」というヴォエヴォドスキーの確信を、ケプラー予想の完遂によって世界に証明した。
- バザード（伝道師）: ヴォエヴォドスキーが夢見た「コンピュータで数学をする」文化を、草の根から、そしてトップレベル（ショルツの検証など）の両面で定着させた。
- タオ（統合者）: 既存の数学のあらゆる難問を解きつつ、最新の「形式化（Lean）」や「AI」を真っ先に取り入れ、次世代の数学のあり方を示している。
この一覧を見ると、現代数学が「個人の天才による閃き」の時代から、「強固な論理基盤（OS）の上で、人間とAIが協調して巨大な構造を組み上げる」時代へと完全に移行したことが分かります。