クレイ数学研究所（CMI）は2026年9月11日、ナビエ・ストークス問題が「解決されたようだ」という発表に、世界の数学界とともに期待を寄せる声明を公表した。OpenAIが9月8日にAIによる証明の提案を公開したのに続き、ミレニアム懸賞問題を管理する機関が見解を示した形だ。CMIは成果の評価と功績の認定を急がず進めるとしており、授賞を決めたとは述べていない。公開原稿が主張するのは、滑らかな外力を加えた流体の数学的な破綻であり、何が解けたとされ、どの評価が残るのかを分けて読む必要がある。
静止した流体に、滑らかな外力を加える
OpenAIが公開した『Finite time blowup for Navier–Stokes』は、3次元の非圧縮性流体を対象とする数学の原稿だ。著者欄の表記はOpenAI。公開原稿とLeanによる形式化が提供されている一方、9月15日に確認した資料には掲載誌、DOI、査読通過の記載がない。企業発表だけの段階ではなく、証明の内容を検討するための原稿が公開された状態だ。
原稿の定理1.1は、粘性係数が正である場合に、初速度がゼロの流体へ滑らかな外力を加え、有限時間に速度が発散する解を構成したと主張する。非圧縮性とは、流体を押し縮めても体積が変わらないという仮定だ。外力は空間と時間の限られた範囲で働くように選び、速度が発散する時刻を通じても滑らかさを保つ条件が課されている。
発散させるのは流体の速度であって、外から加える力を無限大にするわけではない。 原稿では時刻0以上1未満で解が滑らかに存在し、1へ近づくと速度の大きさに上限がなくなる一方、全体の運動エネルギーは一様に有界であるという。ここでの「1」は数学的に設定した時刻であり、現実の水が1秒後に無限の速さになるという意味ではない。
対象となるのは、特定の前提を満たす流れを構成できるかという問いだ。流体の実験で現象を観測した報告でも、有限個の条件を数値シミュレーションで試した結果でもない。被験者数や実験回数に相当するサンプル数で結論を評価する研究ではなく、定理の前提と証明の正しさが適用範囲を決める。相関から原因を推定する研究とも性格が異なる。
速度が発散しても、全体のエネルギーは有限
原稿の第2節が説明するのは、内側へ巻き込みながら軸方向にも流れる渦の構成だ。激しい運動が起きる中心領域は縮んでいき、速度が増しても、その運動が集中する体積は小さくなる。局所的な速度と、流体全体を合計した運動エネルギーは同じ量ではないため、前者の発散と後者の有界性は両立し得る。
ただ渦を細く速くするだけでは、滑らかな外力という条件を満たせない。原稿は、運動方程式の各項が大きくなる部分を相殺するよう流れに振動や補正を加え、最後に残る外力を滑らかに保つと説明している。これは提案された証明の仕組みであり、その構成が全体として正しいかは数学的な検討を要する。
ナビエ・ストークス方程式は、流体を分子ごとに追うのではなく連続体として記述する。OpenAIの説明でも、速度が無限大に向かうことは、そのモデルによる記述が破綻する意味で論じられている。身近な水や空気で同じ過程が実測されたわけではなく、航空機設計や天気予報の計算が一律に無効になるという結論も導けない。
「解決」の発表と授賞の間にある段階
CMIの9月11日声明、OpenAIの公開原稿、賞の規則を照合すると、「解決されたようだ」という評価、外力付きの証明の主張、正式な授賞は別の段階にある。
| 確認する対象 | 公式文書が述べる内容 | そこから確定しないこと |
|---|---|---|
| CMIの9月11日声明 | 解決されたようだという発表に期待を表明し、成果の評価と功績の認定を急がず進める | 授賞決定、受賞者、授賞日 |
| OpenAIの公開原稿 | 滑らかな外力を伴う構成により、CMIの選択肢CとDを示すと主張 | 外力ゼロの流れでも破綻すること |
| CMIの公式問題文 | AとBは外力ゼロでの滑らかな解の存在、CとDは滑らかな外力を認める破綻を問う | 四つすべての証明が必要という解釈 |
| ミレニアム懸賞の規則 | 要件を満たす媒体での公表、公表から少なくとも2年、数学共同体の一般的受容を経てCMIが検討 | 企業のブログ発表から2年で自動的に授賞されること |
表は2026年9月15日に確認したCMI声明、公開原稿の定理1.1と系10.6、公式問題文2ページ、賞の規則第4節と第7節を、評価する対象ごとに対応させたものだ。証明そのものの独立監査を示す表ではない。
Charles L. Feffermanによる公式問題文は、四つの選択肢のうち一つの証明を求めている。Cは3次元の全空間、Dは空間的に同じ状態が繰り返す周期的な設定での破綻を扱うため、外力付きの構成でも、主張が正しく要件を満たせば懸賞問題の解決になり得る。一方で、外力ゼロの条件まで結論を広げることはできない。懸賞問題の定式化を満たすことと、流体に関するすべての問いが片付くことは別である。
授賞の規則も、単に2年間待てばよいというものではない。通常は専門家の査読を備えた数学の媒体での公表が必要で、CMIには媒体要件を緩和する裁量もある。さらに、数学共同体の厳しい検討に耐えたかを踏まえ、CMIが詳細審査に進むか判断する仕組みだ。したがって、9月8日のブログ発表をそのまま待機期間の起算点とみなすことはできない。
形式化の公開から、人が理解する証明へ
OpenAIは、成果を出したグループで約1万のAIエージェントを並行稼働させ、初起動から約88時間で解に到達し、Leanでの形式化と検証にさらに17時間を使ったと説明する。人が問題の選択肢を与え、計算資源を振り替え、中間成果をまとめてエージェントへ再提示した経緯も記されている。これらは企業が報告した作業規模と時間であり、人間の研究者との性能比較試験の結果ではない。
公開リポジトリにはLeanによる形式化と、独立した証明検査に向けた手順が用意されている。コードが公開されたことは、第三者による数学的な検証が完了したことを意味しない。9月15日に確認した公式声明と公開資料には、第三者による独立検証の完了を示す記載が見当たらない。
CMIが声明で望んでいるのは、今回の工夫が分析され、吟味されることで、人間の新たな理解が広がることだ。公開原稿の構成が専門家の検討に耐え、外力や滑らかさの条件をどう満たすかが共有されれば、成果の価値は正誤の判定を越えて、流体の振る舞いを理解する新しい方法にも及び得る。その広がりを見極める材料は、授賞の見出しより先に、証明を読み解く数学の議論から出てくる。
