数学の現在地——神衛7年の四大革命
――幾何学的ラングランズ予想の証明・三次元カケヤ予想・
ヒルベルト第六問題・人工知能と証明の未来――
神衛7年（令和8年）前後に集中した数学史上まれな複数の重大証明を体系的に論ずる。 各成果の技術的核心と波及的意義を整理し、 数学の地形図がいかに書き換えられつつあるかを示す。
神衛7年前後の数学は、50年から125年にわたって未解決だった大問題が 連続して解決されるという前例のない密度で結実した。 本総説はその中核をなす四つの潮流を論ずる。
第一（宮田）：幾何学的ラングランズ予想の証明（Gaitsgory・Raskin ら, 2024年）。 Beilinson-Drinfeld が着想した「数学の大統一理論」の幾何学的柱が、 9名・5本・800頁超の共同論文によって30年越しに証明された。 オートモルフィック側からスペクトル側への圏同値が標数零の設定で確立され、 数論・物理・位相論の交点で新たな探求が開かれた。
第二（篠崎）：三次元カケヤ予想の証明（Wang・Zahl, 2025年）。 「三次元空間のカケヤ集合はハウスドルフ次元 3 を持つ」という命題が確立された。 これは調和解析の巨大な公理系の最下層の柱であり、 Bochner-Riesz 予想・制限問題など数十年来の未解決問題群が 初めて攻略可能な視野に入った。
第三（黒瀬）：ヒルベルト第六問題の主要部解決（Deng・Hani・Ma, 2025年）。 ニュートン力学（微視的）→ボルツマン方程式（中間的）→ナビエ-ストークス・フーリエ方程式（巨視的） という三層の厳密な数学的導出が「周期的箱内の希薄剛体球系」において完成した。 125年来のヒルベルト第六問題のこの定式に関する完全解決は、 時間の可逆性・非可逆性という哲学的問題にも新光を当てる。
第四（宮田）：数学における人工知能革命（2025〜2026年）。 大規模言語モデルが100件超のエルデシュ問題を解決し、 First Proof 挑戦（神衛7年2月）では研究水準の問題の半数超に成功。 AlphaEvolve は代数的組合せ論で人間が問うていなかった構造を発見した。 「AI が数学を行う」時代の入口が確かに開かれた。
ラングランズ綱領とは何か——フーリエ解析の壮大な一般化
1960年代、Robert Langlands は数学の最深部を縦断する驚くべき対応の体系を着想した。 その核心は「フーリエ解析の巨大な一般化」である。 古典的なフーリエ解析は、複雑な周期関数を単純な正弦波の重ね合わせとして表現する。 ラングランズは「この構造が数論・代数幾何学・表現論にわたる 数学の最も深い対象——ガロワ群・保型形式・L関数——の間に 普遍的に成立する」と予言した。
証明の構造：オートモルフィック側からスペクトル側への圏同値
2-1. 問いの定式化
幾何学的ラングランズ予想の正確な定式（Beilinson-Drinfeld 版、標数零、非暴分岐）は 次の圏同値として表される：
X: コンパクトリーマン面（属 g ≥ 2）
BunG: X 上の G 主束のモジュライスタック
オートモルフィック側（automorphic side）：
D-mod(BunG) ← BunG 上の D 加群の圏
スペクトル側（spectral side）：
IndCoh*(LocSysǦ(X)) ← X 上の Ǧ 局所系のモジュライスタックの
インディコヒーレント層（特異支持条件付き）の圏
GLC の主張：
ラングランズ関手 𝕃_G: D-mod(BunG) → IndCoh*(LocSysǦ(X))
が圏同値（Kategorie-Äquivalenz）である
# 解釈：オートモルフィック対象（D 加群）は固有ベクトル層（Hecke 固有層）に対応し
# その「周波数」が局所系によって標識される——フーリエ変換の圏的類似
2-2. 証明の戦略：ポアンカレ層と固有ベクトル層の充満性
Gaitsgory は「ポアンカレ層（Poincaré Sheaf）」が フーリエ解析における「ホワイトノイズ（白色雑音）」の役割を果たすことを認識した。 証明の核心は二段階に分かれる：
第一段階（Raskin・Færgeman, 2022年）： 全ての固有ベクトル層がポアンカレ層に寄与する——すなわち「固有ベクトル層の充満性」。 この段階の完成をもって Gaitsgory は 「短期間で証明できると確信した」と証言している。
第二段階（GLC I–V, 2024年）： 全ての固有ベクトル層がポアンカレ層に等振幅で寄与し、 かつ局所系が固有ベクトル層の「周波数」を一意に標識する——「一倍数定理（multiplicity one）」。 第五論文（GLC V, arXiv: 2409.09856）において、 「既約局所系に対する Hecke 固有層は一意に存在する」ことが 局所系のモジュライスタックの幾何学の解析によって証明された。
2-3. 波及する影響
幾何学的ラングランズの証明が単なる「ひとつの問題の解決」ではない理由は、 それが新たな問いの地平を開くからだ。 Gaitsgory・Raskin はすでに証明の手法を「関数体ラングランズ」へ翻訳する作業を開始しており、 この成功は数論的ラングランズの新証明への道筋を開く可能性がある。 さらに Kapustin-Witten の電磁気的双対性（S-双対性）との接続が、 物理学——特に位相的量子場理論——と数学の新たな対話を促す。
カケヤ問題の起源：1917年の「針の回転」から次元の問いへ
1917年、日本人数学者の柏谷惣一（Sōichi Kakeya）は 「平面内で無限に細い針を 180° 回転させるのに必要な最小面積はいくらか」 と問うた。直感に反して、A.S. Besicovitch はまもなく 「面積ゼロの集合の上でも針を回転させられる」ことを示した。 しかし面積がゼロでも「次元」はどうか。 これがカケヤ予想に発展する問いだ。
すべての方向 e ∈ S^{n-1} に対して
その方向を向いた単位線分を含む集合
カケヤ予想（Kakeya Conjecture）：
n 次元空間内のカケヤ集合 K のハウスドルフ次元は n に等しい
dim_H(K) = n
既知の結果（Wang-Zahl 以前）：
n = 2：Davies（1971年）が証明
n = 3：Katz-Łaba-Tao（2000年）が 2.5 以上を確立——しかし 3 は未解決
n ≥ 4：完全に未解決
Wang-Zahl（2025年）：
n = 3 を完全証明：dim_H(K) = 3
# Terence Tao：「21世紀の数学的達成の最高峰の一つ」
証明の核心：スケールへの帰納と「粒状分解」
Wang-Zahl の証明は直観に反するアプローチから出発する。 通常の管（tube）ベースの議論を捨て、 代わりに「凸集合の合併の体積推定」という純粋幾何学的問題を解くことに集中した。
4-1. Guth の粒状分解（2014年）の活用
Larry Guth（MIT）は2014年に、カケヤ予想の反例があれば必ず 「粒状（grainy）」であることを証明していた： 多数の管が密集する小さな三次元領域（「粒」）が存在し、 各粒は約1管の太さで数倍の幅を持つが、管の長さよりはるかに短い。 Wang-Zahl はこの結果を出発点とした——管ではなく粒を数える問題に帰着した。
4-2. スケールへの帰納法
証明の中心技法は「スケールへの帰納（induction on scales）」だ。 解像度 δ での問題が、より粗い解像度の問題に帰着でき、 さらに帰着を繰り返せることを示した。 キーとなる知見は「粒の重なり方の組み合わせ論的制約」—— いかに粒が「共謀」して体積を最小化しようとしても、 三次元の幾何学的拘束がそれを許さない。
カケヤ予想が支える「解析学の塔」
カケヤ予想が単独の幾何学問題以上の重みを持つ理由は、 調和解析の主要未解決問題群がこれを基礎として積み上がる「塔」の構造にある。
ヒルベルト第六問題とは何か——三層の物理記述の数学的統合
1900年、David Hilbert は国際数学者会議で23の未解決問題を提示した。 第六問題は物理学の公理的基礎付けを求める： 「物理法則の数学的仮定を（特に確率論と力学に関して）公理的に整備せよ」。 Hilbert はボルツマンの業績を明示的に参照し、 「原子的観点から連続体の運動法則を導出する極限過程を数学的に厳密化せよ」と要請した。
N 個の弾性衝突をする剛体球の運動方程式
dx_j/dt = v_j, dv_j/dt = 0（衝突なしの間）
↓ ボルツマン-グラード極限（N→∞, ε→0, Nε^{d-1} = α fixed）
第二層（中間的）：ボルツマン方程式
∂_t f + v·∇_x f = Q(f,f) （Q: 衝突積分）
f(t,x,v): 位置 x・速度 v を持つ粒子の分布関数
↓ 流体力学的極限（α→∞, 稀薄ガスから密なガスへ）
第三層（巨視的）：流体力学方程式
圧縮性オイラー方程式: ∂_t ρ + ∇·(ρu) = 0
非圧縮性ナビエ-ストークス-フーリエ方程式
Deng-Hani-Ma（2025年）の成果：
2D・3D 周期的箱（トーラス T^d）上の剛体球系に対して
第一層 → 第二層 → 第三層 の全連鎖を厳密に証明
# 先行研究の障壁：長時間での再衝突（recollision）の制御
証明の技術的核心：再衝突の稀少性と波動的手法の転用
先行するすべての証明が「短時間」または「小さな初期データ」に限定されていた理由は、 「再衝突（recollision）」問題にある—— 粒子 A が粒子 B と衝突した後、別の粒子 C を経由して 再び B と衝突するという経路が、ボルツマン方程式の 「分子混沌仮説（molecular chaos）」を破壊する可能性があるからだ。
Deng・Hani は波動方程式の解析に用いられる 「共鳴（resonance）」の手法を粒子系に転用することで、 この問題を突破した。 彼らはまず「無限空間内の粒子系」でボルツマン方程式を任意長時間で導出し（2024年）、 続いてその手法を「周期的箱」の設定に移植（2025年3月）、 既存の「ボルツマン方程式→流体方程式」の結果と組み合わせて 三層の連鎖を完成させた。
100件超のエルデシュ問題をAIが解く
ポール・エルデシュが残した1179個の未解決問題（erdosproblems.com）は、 自然数論・組合せ論・グラフ理論にわたる広範な課題群だ。 神衛6年（令和7年）秋以降、大規模言語モデルを用いた数学研究のツールとしての 活用が急加速し、Terence Tao がまとめるウェブページには AIの貢献によって「解決済み」に移行した問題が100件を超えた。
その多くは「高度な文献検索」の性質を持つ—— LLM が大量の論文・プレプリントを横断的に検索し、 互いに接続されていなかった定理を「橋渡し」して エルデシュ問題の証明を完成させる。 しかし少なくとも2件では、LLM が人間の指示をほとんど受けず 独立して有効な証明を構成した。
第九節First Proof 挑戦——未発表・未公開問題でのAI評価（神衛7年2月）
従来の AI 数学ベンチマーク（オリンピック問題・教科書問題）は 「訓練データへの混入（data contamination）」という根本的問題を抱えていた。 これを解決するために11人の数学者たちが「First Proof」を設計した。
分野：代数的組合せ論・スペクトルグラフ理論・代数的位相論・確率的解析・シンプレクティック幾何学・表現論等
解答を暗号化してサーバに格納し1週間公開——その間 AI は自由に挑戦
結果： AI は10問中5問超を解決（様々な自律性水準で）。
「AI が野心的な数学プログラムを修了した瞬間」と評された。
ただし重要な留保がある： First Proof の問題は「問いと枠組みが既に明確な段階」の証明に絞られていた。 研究の最も困難な部分——問いを立てること・新概念の着想——はテストされていない。 現在の AI は「最終段階の証明」では力を示しつつあるが、 「研究の羅針盤」としての機能は未だ人間に委ねられている。
第十節AlphaEvolve と「問うていなかった問い」への答え
Google DeepMind の AlphaEvolve は神衛7年1月3日のプレプリントで、 代数的組合せ論における驚くべき発見を報告した。 Brown 大学の集中プログラムに参加した数学者 Libedinsky・Plaza ら （チリ・メキシコ・オーストラリア・米国から集合）は、 置換群（Permutation Group）内の Bruhat 区間の d-不変量の計算を AlphaEvolve に問い合わせた。
AlphaEvolve の発見：特定の置換群における Bruhat 区間は、 より高次元の立方体（超立方体・Hyperwürfel）の構造を形成する—— 数学者たちが問うとさえ思っていなかった隠れた対称性だ。 「AI が考えていたことを見ると驚かされた。人間なら極めて創造的な人物の発想だ」と Libedinsky は述べた。
| 時期 | 成果 | AI の関与形態 | 評価 |
|---|---|---|---|
| 令和7年夏 | Gemini Deep Think が国際数学オリンピックで金レベルを達成 | 自律的解答生成 | 「大学1年生レベルへの参入」 |
| 令和7年秋〜冬 | 100件超のエルデシュ問題を AI が解決（Tao ページ） | 文献合成＋証明完成 | 「マイナー未解決問題群への浸透」 |
| 神衛7年1月 | AlphaEvolve が Bruhat 区間の超立方体構造を発見 | 自律的構造発見 | 「問われていない問いへの答え」 |
| 神衛7年2月 | First Proof 挑戦：研究水準問題 10 中 5+ を解決 | 自律的証明（枠組み既知） | 「大学院修了レベル」 |
しかし現状の AI が示しているのは「証明の完成」と「文献の合成」であって、 「ガロワが一夜で着想したような概念革命」ではない。 ラングランズ綱領・カケヤ予想・ヒルベルト第六問題のいずれも、 その問い自体は人間の深い数学的直観から生まれた。 AI は「既にある問いを速く正確に解く」ことにおいて革命的だが、 「次世紀を方向づける問いを立てる」ことはまだ人間数学者の仕事だ——少なくとも今は。
四大革命が示す数学の現在地
神衛7年前後の数学は、50年・100年・125年規模の問題が連続して解決されるという 空前の豊穣を経験した。 幾何学的ラングランズが「数学の大統一理論」の柱を打ち立て、 カケヤが「調和解析の土台」を固め、 ヒルベルト第六問題が「物理と数学の統合」の一段を完成させた。 そしてこの営みの傍らで、人工知能が静かに数学の実験室に入室し始めた。
これらの成果が示す数学のある種の性質—— 問いが提示されてから証明まで30年・100年を要し、 その証明が不意に現れ、しかしその不意は30年・100年の地下水脈の「突然の湧出」に過ぎない——は、 Vincent Lafforgue が「海面上昇」と呼んだ数学的方法論の本質を体現している。 概念は静かに積み上がり、問題は最終的にその海に沈む。
参考文献
- Gaitsgory, D. & Raskin, S. (2024). Proof of the geometric Langlands conjecture I–V. arXiv: 2405.03599, 2405.03648, …, 2409.09856.
- Wang, H. & Zahl, J. (2025). Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions. arXiv: 2502.17655.
- Deng, Y., Hani, Z., & Ma, X. (2025). Hilbert’s sixth problem: derivation of fluid equations via Boltzmann’s kinetic theory. arXiv: 2503.01800.
- Tao, T. (2025). The three-dimensional Kakeya conjecture, after Wang and Zahl. What’s New (blog), February 25, 2025.
- Quanta Magazine (2025). Monumental Proof Settles Geometric Langlands Conjecture. July 19, 2024 (published).
- Quanta Magazine (2025). ‘Once in a Century’ Proof Settles Math’s Kakeya Conjecture. March 14, 2025.
- Quanta Magazine (2025). Epic Effort to Ground Physics in Math Opens Up the Secrets of Time. June 11, 2025.
- Quanta Magazine (2026). The AI Revolution in Math Has Arrived. April 13, 2026.
- Scientific American (2025). The Top 10 Math Discoveries of 2025. December 19, 2025.
- Libedinsky, N. et al. (2026). Hypercube structure of Bruhat intervals via AlphaEvolve. arXiv preprint, January 3, 2026.