ミレニアム懸賞問題を全部わかりやすく — 7問の中身と、ナビエ–ストークスで2026年9月に起きたこと

冒頭で先に整理しておきます。世の中で「ナビエ–ストークスが解けた」と流れている話は、嘘ではないが、そのままの意味でもありません。どこまでが本当なのかは、公式の問題文を読むと一発でわかるので、この記事ではそこまで踏み込みます。

ミレニアム懸賞問題とは何か

2000年5月24日、パリのコレージュ・ド・フランスで、クレイ数学研究所（Clay Mathematics Institute, CMI）が7つの数学の問題を発表しました。100年前の1900年にヒルベルトが23の問題を提示して20世紀の数学を方向づけたことへの、意識的な対比です。

各問題に賞金100万ドル。ただしもらうまでの道のりは長い規定になっています。

• 解答を直接クレイ研究所に送りつけることはできない
• まず世界的に評価の定まった査読付き数学誌に掲載されること
• 掲載から2年間、数学界で一般的に受け入れられること
• そのあと科学諮問委員会が「詳細審査に値するか」を判断し、専門家からなる特別委員会を構成する

つまり最短でも掲載から2年。「証明を出した翌週に100万ドル」という制度ではありません。この点は後半のナビエ–ストークスの話に直結します。

7

問題数

2000年5月に提示

1

解決認定

ポアンカレ予想のみ

$1M

1問あたり賞金

受け取られたのは0回

2年

査読掲載後の待機期間

審査開始の前提条件

7問の現在地を先に一覧にします。

#	問題	分野	状態
1	リーマン予想	数論・解析	未解決
2	P vs NP	計算量理論	未解決
3	ナビエ–ストークス存在と滑らかさ	偏微分方程式	未解決（(C)(D)の証明が2026年9月に主張され、審査中）
4	ヤン–ミルズ存在と質量ギャップ	数理物理	未解決
5	ホッジ予想	代数幾何	未解決
6	バーチ・スウィナートン=ダイアー予想	数論	未解決
7	ポアンカレ予想	トポロジー	解決（ペレルマン、2002–03）

1. リーマン予想 — 素数はどれくらい規則正しく散らばっているか

何を聞かれているか。 2, 3, 5, 7, 11, 13… と続く素数は、大きい数のほうへ行くほどまばらになります。「だいたいこのくらいの密度」という主要な傾向は素数定理でわかっている。問題はその予測からのズレ（誤差項）がどこまで小さいかです。

このズレを支配しているのが、リーマンゼータ関数という関数の「零点」（値がゼロになる点）の位置です。リーマン予想は、意味のある零点はすべて実部が1/2の一本の直線上に並ぶと主張します。

なぜ大事か。 零点が全部その線に乗っているなら、素数の分布のズレは考えうる限り最小になります。逆に1点でも外れていれば、素数はどこかで想定より偏って現れる。数論のかなりの範囲が「リーマン予想が正しいとすれば」を前提に組み上がっているので、崩れると連鎖的に影響します。

どこまでわかっているか。 最初の10兆個規模の零点は数値計算で線上にあることが確認済み。理論的には「零点の40%以上が線上にある」ことまでは証明されています。ただし、残りの零点が一つも外れていないことは誰も示せていません。数値検証をいくら積んでも証明にはならないのがこの問題の性格です。

2024年にラリー・グスとジェームズ・メイナードが、零点密度評価を1940年のインガム以来84年ぶりに改善しました。リーマン予想そのものではありませんが、80年動かなかった箇所が動いたという意味で近年最大の進展です。

2. P vs NP — 「答え合わせが速い」なら「答え探しも速い」か

何を聞かれているか。 数独を思い浮かべてください。埋まった盤面が正しいかどうかは、目で追えばすぐ確認できます。しかし空欄だらけの盤面を解くのは、それよりずっと大変です。

• P = 答えを見つけるのが（問題サイズに対して多項式時間で）速い問題
• NP = 答えを渡されたら検証するのが速い問題

P vs NP は「この2つは実は同じか？」を問います。直感的には「検証が速いからといって探索が速いわけがない」ですが、誰もそれを証明できていない。

なぜ大事か。 もし P = NP なら、巡回セールスマン問題も、タンパク質の折りたたみも、そして現代暗号の解読も、原理的に効率よくできてしまいます。RSAをはじめとする公開鍵暗号は「探索が難しい」ことに依存しているので、成立の前提が消えます。逆に P ≠ NP を証明できれば、「この種の問題には効率的アルゴリズムが存在しない」ことが数学的に確定し、無駄な探索をやめられます。

なぜ難しいか。 この問題には、証明手法そのものを封じる3つの壁が知られています。

1. 相対化の壁（Baker–Gill–Solovay, 1975）— オラクルを付け替えると P = NP にも P ≠ NP にもできてしまうので、オラクルに鈍感な素朴な手法では決着しない
2. 自然な証明の壁（Razborov–Rudich, 1994）— 回路計算量の下界を示す「自然な」やり方は、成功すると同時に暗号学的擬似乱数生成器の存在を否定してしまう
3. 代数化の壁（Aaronson–Wigderson, 2008）— 1つ目を回避する代数的手法にも、同種の限界がある

つまり「うまくいきそうな道筋」に片っ端から通行止めの証明が付いているのが現状です。専門家の多数は P ≠ NP だと予想していますが、それを示す手法がまだ発明されていません。

3. ナビエ–ストークス存在と滑らかさ — 流体は自分で壊れるか

7問のうち、いま最も動いている問題です。中身は後半でまとめて扱うので、ここでは問題の骨格だけ。

何を聞かれているか。 ナビエ–ストークス方程式は、水や空気の流れを記述する方程式です。ニュートンの運動方程式を流体に書き下したもので、天気予報からジェット機の設計まで、あらゆる流体シミュレーションの土台になっています。

問題は、滑らかな状態から出発した3次元の流れが、有限時間のうちに速度無限大の「特異点」を作ってしまうことがあるか。

方程式を毎日使っているのに、その解がずっと存在して滑らかなままかどうかが証明されていない。実務で使い倒されている道具の足元が、数学的には未確認のまま、という構図です。

どこまでわかっているか（公式問題文より）。

• 2次元なら大丈夫だと昔からわかっている（ラディジェンスカヤ）。ただし3次元の主要な困難は2次元には現れないので、ヒントにはならない
• 3次元でも、初期速度が十分小さければ大丈夫
• 3次元で初期速度に制限をつけない場合、短い時間なら滑らかな解が存在する。その時間の上限を「爆発時刻」と呼ぶ
• レレイ（1934）が有限エネルギーの弱解を構成。カファレリ–コーン–ニーレンバーグ（1982）が、特異点集合の放物型ハウスドルフ測度がゼロであることを証明した。これが現在知られている最良の部分正則性であり、公式問題文が「これ以上進むのは非常に難しそうだ」と書いている地点です

4. ヤン–ミルズ存在と質量ギャップ — 物理では自明、数学では未定義

何を聞かれているか。 これは他の6問と毛色が違い、**「物理学者が日常的に使っている理論を、数学として厳密に構成せよ」**という問題です。

ヤン–ミルズ理論は、素粒子の強い力と弱い力を記述する枠組みで、標準模型の骨格です。求められているのは2点。

1. 4次元時空の量子ヤン–ミルズ理論を、数学的に厳密な公理を満たす形で存在すると示すこと
2. その理論に質量ギャップ Δ > 0 があることを証明すること

質量ギャップとは何か。 理論に出てくるグルーオンは質量ゼロで、光子と同じく本来は無限遠まで力を伝えるはずです。ところが実際には、強い力は原子核サイズより先へ届かない。これは、実際に観測される最も軽い粒子（グルーボール等）の質量がゼロではない、つまりエネルギーがゼロから飛び飛びに「ギャップ」を空けて始まっているためです。

なぜ難しいか。 実験でも格子ゲージ理論の数値計算でも、質量ギャップの存在は疑いようがありません。物理としては決着済みです。しかし、そもそも4次元の量子ヤン–ミルズ理論を数学的に定義する方法が確立していない。存在を証明する以前に、何の存在を証明するのかを定義するところが未完成、というのがこの問題の実態です。

5. ホッジ予想 — 「形」から「方程式」を復元できるか

7問のうち最も「何を聞かれているか」が伝わりにくい問題です。噛み砕きます。

背景。 複雑な図形を調べるとき、数学者はしばしば図形そのものではなく、そこに空いた「穴」の情報を数え上げます（コホモロジー）。これは連続的・解析的な道具で、どんな複雑な図形にも適用できます。

一方、代数幾何が扱う図形（射影代数多様体）は、多項式の方程式で定義されています。その内部には「部分的に方程式で切り出せる図形」＝代数的サイクルが住んでいます。

何を聞かれているか。 穴の情報のうち、ある特定の性質を持つもの（(p,p)型のホッジ類と呼ばれる、有理係数のクラス）は、必ず代数的サイクルの組み合わせで書けるか。

平たく言えば、**「解析的に見えている影から、代数的な実体を必ず復元できるか」**という問いです。解析の言葉で観測した特徴が、代数の言葉に翻訳できることを保証したい。

どこまでわかっているか。 p = 1 の場合、つまり因子の場合はレフシェッツの (1,1) 定理として古くから正しいことがわかっています。一般の p は未解決です。この問題は「反例が見つかるかもしれない」と考える専門家も一定数いる点で、他の予想と少し空気が違います。

6. バーチ・スウィナートン=ダイアー予想 — 有理点は何個あるか

何を聞かれているか。 楕円曲線と呼ばれる曲線（y² = x³ + ax + b の形）の上で、座標が両方とも分数（有理数）になる点が何個あるかを問う問題です。

有理点は有限個のこともあれば、無限個のこともあります。無限個の場合、その「無限の度合い」を表す数を**階数（ランク）**と呼びます。ランクが大きいほど、独立した無限系列がたくさんあるということです。

ランクを直接数えるのは難しい。そこで、この曲線に対応するL関数という別の関数を考えます。BSD予想は、こう主張します。

L関数の s = 1 における零点の位数（何回ゼロになるか）が、楕円曲線のランクと一致する。

なぜ面白いか。 左辺は解析（無限級数の振る舞い）、右辺は算術（有理点の個数）です。まったく別の場所にある2つの量が一致するという主張で、数論に頻出する「解析と算術の橋渡し」の代表例になっています。

応用例。 「ある自然数が、辺の長さがすべて有理数の直角三角形の面積になりうるか」という合同数問題は、BSD予想が成立すれば完全に判定できるようになります。1000年以上前から知られている素朴な問題が、この予想に直結しています。

どこまでわかっているか。 グロス–ザギエとコリヴァギンの仕事により、L関数側の零点の位数が0または1の場合には予想が正しいことが示されています。位数2以上、および逆向きの主張は未解決です。

7. ポアンカレ予想 — 唯一解けた問題

何を聞かれているか。 3次元の閉じた図形（コンパクトな3次元多様体）で、その上のどんな輪も一点に縮められるなら、それは3次元球面と本質的に同じ形か。

2次元で考えると直感的です。球の表面に輪ゴムをかけると、表面を滑らせて必ず一点まで縮められます。ドーナツの表面ではそうはいかない。穴を通る輪はどうやっても縮まりません。つまり「すべての輪が縮む」ことは穴がないことの言い換えで、ポアンカレは1904年に、3次元でも同じことが言えるはずだと予想しました。

どう解けたか。 リチャード・ハミルトンがリッチフローという手法を導入しました。図形の形を熱伝導のように少しずつ均していく方程式で、放っておくと形が丸くなっていく。問題は、均している途中で図形の一部が細く潰れて特異点が生じ、そこで手続きが止まってしまうことでした。

グリゴリー・ペレルマンは2002年から2003年にかけてarXivにプレプリント3本を投稿し、エントロピー汎関数と「局所的に潰れない」定理を導入して、特異点を分類し、切除して手術し、流れを続行できることを示しました。これでポアンカレ予想だけでなく、より一般のサーストン幾何化予想まで解決しています。

その後。 ペレルマンは査読誌に投稿していません。クレイ研究所は規定を例外的に運用し、2010年に賞金授与を決定しましたが、ペレルマンは辞退しました。2006年のフィールズ賞も辞退しています。結果として、ミレニアム懸賞問題の賞金はまだ一度も支払われていません。

---

ナビエ–ストークスで2026年9月に何が起きたか

ここからが本題です。冒頭で触れた通り、この件は「解けた／解けていない」の二択で語ると必ず間違えます。

公式問題文には選択肢が4つある

チャールズ・フェファーマンが書いたクレイ研究所の公式問題文は、こう書かれています。「解く側に妥当な余地を与えつつ問題の核心を保つため、次の4つの主張のうち1つの証明を求める」。

• (A) ℝ³、外力ゼロ。滑らかな初期速度から出発した解は、永久に存在して滑らかである
• (B) 周期境界 ℝ³/ℤ³ で同じこと
• (C) ℝ³。滑らかな外力 f を許す。適当な初期速度と外力の組が存在して、条件を満たす解が存在しない
• (D) 周期境界で同じこと

(A)(B) は「流体は壊れない」、(C)(D) は「壊れる例がある」。方向が逆ですが、どちらか1つ証明すれば解決です。そして重要なのは、(C)(D) では外から力 f を加えてよいという点です。

(A)(B) 外力なし

(C)(D) 外力あり

問い

流体を放っておいたとき、自分の非線形性だけで壊れるか

滑らかな力で押したとき、壊れる流れを作れるか

外力 f

恒等的にゼロ

滑らかであればよい（OpenAIの構成は時空でコンパクト台）

賞金要件

満たす

満たす（問題文が明示的に認めている）

専門家の受け止め

流体の本質を問うている本丸

形式上は解決だが、物理的な核心は残る

2026年9月時点

未解決

OpenAIが証明を主張、審査中

OpenAIが発表した定理

公開された166ページの論文『Finite Time Blowup for Navier–Stokes』の主定理（Theorem 1.1）は、要約するとこうです。

任意の粘性係数 ν > 0 に対して、時空でコンパクトな台を持つ滑らかな外力 f が存在して、静止状態（初速度ゼロ）から出発した滑らかな解が、時刻 t = 1 に向かって運動エネルギーは有界のまま、速度の最大値が無限大に発散する。

物理的な絵としては、渦の芯が自己相似的に収縮し、内向きに巻き込みながら軸方向へ吹き出す。芯が細るにつれて速度スケールが上がる。そのままだと外力が発散してしまうので、空間的に振動するパルスを重ねて、その非線形運動量流束で発散部分を打ち消し、特異時刻を通り抜けても滑らかなままの外力を残す——という構成です。

論文は明示的に「これは [Fefferman] のミレニアム問題における主張 (C) を確立する。コンパクト台であることから T³ 上の対応する構成も得られ、主張 (D) も確立される（Corollary 10.6）」と書いています。

さらに、同時に公開されたEuler方程式側の結果は外力なしです。ℝ³上の滑らかでコンパクト台の初期速度から、外力なしの非圧縮Euler方程式の解が有限時間で特異点を作る、という構成で、こちらはミレニアム問題ではありませんが長年の未解決問題でした。

計算資源と形式検証

報じられている数字を並べます。

• 約1万個のエージェントを並列稼働
• 開始からナビエ–ストークスの結論到達まで約88時間（9月1日開始、9月5日到達）
• エージェント間で交換されたメッセージは約500万件
• 使用モデルは「GPT-6 Astraより大幅に高性能」とされる社内未公開モデル
• Lean 4 による形式化と検証にさらに17時間
• 出力トークンはナビエ–ストークスだけで約1300億、複数問題を含む全体で約3000億、計算コストは総額2250万ドル規模と報じられている

Lean 4 の証明は openai/NavierStokesAndEuler に公開されており、誰でも lake build で機械検証できます。これは重要な点です。「証明が論理的に正しいか」については、OpenAIの言葉を信じる必要がありません。

経緯とクレジット問題

発表は技術的な話だけでは終わりませんでした。

1. 2000-05-24
   クレイ数学研究所がミレニアム懸賞問題7問を発表

   ナビエ–ストークスの公式問題文はチャールズ・フェファーマンが執筆。(A)〜(D)の4択形式。
2. 2024〜2026
   コルドバ–マルティネス=ゾロアらが爆発解の構成手法を積み上げ

   粗い外力での3次元Euler方程式の特異点、および低散逸ナビエ–ストークスへの拡張。今回の証明の土台。
3. 2026年前半
   バックマスター（NYU）とアルペーゲ（Anthropic）が非公開で研究

   Claude、Codex、Astraなど複数のLLMを併用し、コルドバらの手法を滑らかな外力へ押し上げる作業を進める。
4. 2026-09-01
   OpenAIが着手

   「2問が解かれそうだ」という噂を聞いて開始したと説明。約1万エージェントを投入。
5. 2026-09-05
   エージェントがナビエ–ストークスの結論に到達

   開始から約88時間。続く17時間でLean形式化と検証。
6. 2026-09-08
   バックマスターが先にMastodonへ結果を公開、その直後にOpenAIが論文とLeanを公開

   バックマスターは「進捗情報がOpenAIに伝わっていた」と主張。共著者クレジットを巡る圧力があったとも述べ、OpenAI側は否定。
7. 2026-09-08
   OpenAIが賞金100万ドルを請求しない方針を表明

   クレイ研究所は現在も同問題を未解決として掲載。審査は「意図的に急がず、徹底的に厳密に」行うとしている。

争点は3つに整理できます。

1. 技術的な争点 — 示されたのは (C)(D)、つまり外力ありの破綻です。外力ありだと「特異点が起きるように力を設計する」ことができてしまうので、「流体が自分で壊れるか」という物理的な問いには答えていません。しかもその構成が外力なしでも動く公開証拠は現時点でありません。
2. クレジットの争点 — バックマスターは、彼らがCodexに入れていた下書きが利用されたのではないかと疑問を呈しました。OpenAIは「公開されるまで彼らの成果を一切見ていない」と否定する一方で、「可能性は低いが、彼らの製品利用から派生した匿名化データがモデル改善に寄与した可能性は排除できない」とも述べています。
3. 制度的な争点 — クレイ研究所のマーティン・ブリドソン所長は「評価のプロセスは意図的に急がず、絶対に厳密に行う」と表明。規定上、査読誌掲載から2年の受容期間が必要なので、いずれにせよ短期決着はありません。

数学者は何を心配しているか

テレンス・タオは、バックマスター–アルペーゲの仕事を「注目すべき達成」と評価する一方で、AIによる解決全般についてこう述べています。

今年だけで、答えを得ることと理解を得ることのあいだに、非常に奇妙で前例のない乖離が生じている。映画を観に行って、最初の10分から最後の10分へ飛ぶようなものだ。技術的には筋はすべて回収されているが、体験の価値のほとんどは失われている。

— テレンス・タオ（UCLA）

タオはさらに、透明性を欠いたままAIだけで問題を早期に解いてしまうことは、数学全体の進歩にとって差し引きマイナスになりうると警告しています。ブラウン大学のハビエル・ゴメス=セラーノは別の角度から、「そのスケールの資源を持てる数学者はごく少数だ」と指摘しました。ナビエ–ストークス正則性のような問題は、解かれる過程で生まれる部分的結果や失敗が分野全体を育ててきた側面があり、それが数千万ドルの計算資源を持つ企業の内部で一気に消費されると、育つはずだった枝が丸ごと失われます。

AIエージェントを使う側として、この件から読み取れること

数学の話として面白いだけでなく、実務の判断材料として使える論点が3つあります。

1. 「正しさの検証」と「意味の判断」は別レイヤーになった。 Lean 4 の形式化により、証明が論理的に正しいかは誰でも機械的に確認できます。人間のレビュー時間は不要です。一方で「その命題が本当に解きたかった問題か」の判断は、依然として人間側にあり、今回はそこで割れました。これはコード生成と構造が同じです。テストが緑であることと、要件を満たしていることは別の話で、AIが押し切れるのは前者だけです。

2. 検証可能な形に落とせる仕事から順に、資源で押し切られる。 1万エージェント、88時間、2250万ドル。この物量が効いたのは、答えの正しさが形式的に判定できる領域だったからです。裏返すと、正解判定を機械化できない仕事——要件の切り出し、優先順位、その組織固有の事情——は、まだ物量では押し切れません。エージェントに渡す仕事を設計するとき、この線引きが実用的な判断基準になります。

3. AIツールに投げた下書きの扱いは、契約と設定の問題として扱っておく。 バックマスターの疑念が事実かどうかとは別に、「自分の未公開の作業をベンダーのツールに入れている」構図は多くの人に当てはまります。学習利用のオプトアウト設定、エンタープライズ契約のデータ利用条項、機微な作業をローカルモデルに寄せる線引き。今回の騒動は、その確認を先送りしないほうがいい理由を実例で示しました。

まとめ

• ミレニアム懸賞問題は7問。公式に解決が認定されたのはポアンカレ予想の1問だけで、ペレルマンは賞金を辞退した
• リーマン予想、P vs NP、ヤン–ミルズ、ホッジ予想、BSD予想は未解決。それぞれ「なぜ難しいか」の性格が違い、P vs NP には証明手法自体を封じる3つの壁が知られている
• ナビエ–ストークスについてOpenAIが2026年9月8日に発表したのは、公式問題文の**外力を許す主張(C)(D)**の証明。Lean 4 で機械検証可能な形で公開されている
• ただし多くの数学者が本丸と見なす外力なしの(A)(B)は未解決のまま。クレイ研究所は現在もこの問題を未解決として掲載しており、規定上、査読掲載から2年の受容期間を経なければ審査対象にもならない
• 「AIがミレニアム問題を解いた」という要約は、技術的には概ね正しく、意味的には誤解を招く。この距離感がそのまま、いま実務でエージェントを使うときの距離感でもある