OpenAIはナビエ・ストークス方程式を解いた？証明内容とClay未認定の現状を解説

OpenAIは2026年9月8日、ナビエ・ストークス方程式のミレニアム懸賞問題について、公式条件のC・Dを満たすとする証明を公開しました。

ただし、よく知られる無外力版を直接解いたわけではなく、2026年9月9日時点でClay Mathematics Instituteも正式な解決済みとは認定していません。

この記事では、OpenAIが実際に何を証明したのか、外力ありと無外力の違い、Lean形式証明の意味、約1万のAIエージェントによる探索まで、ニュースだけでは分かりにくいポイントを整理します。

🎉OpenAI、AIによる「ナビエ・ストークス方程式」ミレニアム懸賞問題の解決を発表

🔹OpenAIは9月8日、数学の「ミレニアム懸賞問題」の一つ、ナビエ・ストークス方程式の存在と滑らかさ問題を解決する証明を得たと発表した。解析的証明に加え、Leanによる形式検証も公開している。…

— IT navi (@itnavi2022) September 8, 2026

ナビエ・ストークス方程式をOpenAIは本当に解いたのか

OpenAIは2026年9月8日、ナビエ・ストークス方程式のミレニアム懸賞問題について、解決条件の一部を満たすとする証明を公開しました。

ただし、2026年9月9日時点でClay Mathematics Instituteは、この問題を正式な解決済みには変更していません。

ニュースの「解いた」という表現だけを見るのではなく、OpenAIの主張と数学界での正式認定を分けて理解する必要があります。

OpenAIが2026年9月8日に発表した結論

OpenAIが発表したのは、3次元非圧縮性ナビエ・ストークス方程式について、有限時間で速度が際限なく大きくなる構成を示したという結果です。

人が読める形の論文だけでなく、Leanを使った形式証明も公開されました。

論文は166ページあり、任意の正の粘性に対して、初期速度を0とし、滑らかな外力を与えた条件で解を構成しています。

その解では時刻t=1へ近づくにつれて速度のL∞ノルムが非有界になる一方、L²ノルムは一様に抑えられます。

簡単に言えば、流れ全体のエネルギーが際限なく増えるわけではないのに、ごく狭い領域では速度が発散するという数学的な例です。

「それならミレニアム問題はもう終わったのでは」と感じるところですよね。

OpenAIは、この構成によってClay Mathematics Instituteが定めた公式問題のCとDを満たしたと位置づけています。

つまり、OpenAIが単なる近似計算や数値シミュレーションを発表したのではなく、公式問題の解答になり得る数学的証明を提示したことは確認できます。

現時点ではClayの正式な解決認定ではない

一方で、「OpenAIが証明を発表した」と「ミレニアム懸賞問題が正式に解決済みになった」は同じ意味ではありません。

2026年9月9日時点では、Clay Mathematics Instituteのミレニアム懸賞問題一覧でナビエ・ストークス方程式は未解決問題として掲載されています。

Clayのルールでは、候補となる解が適切な媒体で公表されたあと、少なくとも2年が経過し、世界の数学コミュニティーから広く受け入れられることなどが求められます。

そのため、発表翌日に公式ステータスが「解決済み」へ切り替わる仕組みではありません。

たとえば速報をスマホで見て「100万ドルの懸賞金まで確定したのか」と思っても、そこまで話は進んでいません。

OpenAI自身も今回の結果について賞金を請求する意図はないと明らかにしています。

現段階で最も正確なのは、「OpenAIが解決条件を満たすとする証明を公開したが、Clayによる正式認定はまだ行われていない」という整理です。

「完全に解決した」と断定するのも、「ただの話題作りで何も解いていない」と切り捨てるのも、どちらも資料から確認できる事実とは合いません。

OpenAIの証明は何を解決したのか

今回の核心は、外力を加えたナビエ・ストークス方程式で有限時間blowupを構成した点にあります。

一般向けに有名な「外力なしで特異点が生まれるのか」という問いとは条件が違うため、ここを区別すると発表の意味が一気に分かりやすくなります。

外力ありの有限時間blowupを構成した

OpenAIの証明では、最初は速度0の状態から始め、時間と空間の両方で滑らかに制御された外力を与えます。

そのうえで、時刻t=1へ向かうにつれて局所的な速度が発散する解を構成しています。

中心となるアイデアは、渦を中心へ向けて細く縮めながら、軸方向に引き伸ばしていく構造です。

τ=1−tとすると、代表的な半径方向の長さはおよそτの1/2乗、軸方向はτの1/2−h乗へ縮んでいきます。

一方、代表的な速度はおよそτの−1/2−h乗で大きくなり、t=1へ近づくほど局所速度が増えていきます。

ここだけ聞くと「エネルギーまで無限になるのでは」と思いますが、高速になる領域そのものが急速に小さくなります。

そのため中心部分の運動エネルギーは約τの1/2−3h乗となり、論文の条件では0へ近づきます。

狭い場所の速度は発散しても、全体として有限エネルギーを保てるという構造が今回の証明の要点です。

単純に渦を縮めるだけでは方程式に残る項が特異になってしまうため、OpenAIは振動するパルスを重ね、その運動量の流れで問題となる残差を打ち消す構成を採っています。

今回示されたのは、外から何も作用しない流体が自然に爆発する例ではありません。

Clay問題のC・Dと有名な無外力A・Bの違い

Clay Mathematics Instituteの公式なナビエ・ストークス問題には、AからDまで4つの解決ルートがあります。

AとBは外力を0とし、滑らかな初期状態から始めた解が将来にわたって滑らかに存在するかを問うものです。

CとDでは条件が変わり、適切な滑らかな外力を選んだうえで、大域的な滑らか解が存在しない例を示すことが認められています。

OpenAIが解決したと主張しているのは、このCとDです。

そのため、よく知られている「外から力を加えなくても3次元流体の解は有限時間で壊れるのか」というA・B側の問いに、今回の証明が直接答えたわけではありません。

朝のニュースで「100年以上の難問をAIが解いた」という見出しだけを見ると、この違いはかなり見落としやすい部分です。

ただし、「外力を使っているからClayの問題とは別物だ」という理解も正しくありません。

外力を認めるC・Dは、Clayの公式な問題文に最初から用意されている解答条件です。

今回の結果はClay問題の枠内にある一方、多くの人がイメージする無外力版そのものを解いた結果ではない、という二つの事実を同時に押さえる必要があります。

Lean形式証明があっても正式解決とは限らない理由

OpenAIは今回、人間向けの論文だけでなく、Lean 4で記述した形式証明も公開しています。

これは証明の信頼性を確かめるうえで強い材料ですが、Leanで検証できたことと、Clay Mathematics Instituteがミレニアム懸賞問題を正式に解決済みと認定することは別です。

「コンピューターが証明を確認したなら決着では」と感じる人ほど、2つの検証が何を意味するのかを分けて見る必要があります。

OpenAIが公開したLean証明で確認できること

Leanとは、数学の定義や定理、証明を形式的な言語で記述し、論理的な手順に矛盾がないかコンピューターで検査するための証明支援系です。

OpenAIはGitHubで、ナビエ・ストークス方程式について全空間R³と周期領域の2つの結果に対応する形式化を公開しています。

公開リポジトリではLean 4.34.0-rc2を使い、MathlibやLakeを利用する構成になっています。

形式化の管理ファイルでは主要な対象定理がprovedとして登録され、対象項目のsorry_countは0です。

Leanでは、証明できていない部分を一時的にsorryとして残すことがありますが、今回の主要項目ではそれが残っていないことをOpenAIの公開情報から確認できます。

つまり、公開された形式体系の中では、必要な推論が証明項として組み立てられ、Leanが型検査できる状態まで仕上げられています。

Comparatorを使った独立チェックの手順も公開されており、単に「AIが正しいと言っている」だけの状態ではありません。

それでも、形式証明には人間が意図した数学的主張が正確に形式化されているかという確認が残ります。

Leanがコードを受理した事実だけを根拠に、「数学界全体で証明の意味まで検証済み」と読み替えるのは早すぎます。

Clayが解決を認定するまでに必要な条件

Clay Mathematics Instituteには、ミレニアム懸賞問題の解決を認定するための独自の手続きがあります。

候補となる解答は条件を満たす媒体で公表され、その後最低2年間が経過し、世界の数学界で広く受け入れられることなどが求められます。

Clayへ証明を直接送れば、その場で審査して賞金を受け取れるという制度ではありません。

2026年9月9日時点でClayの公式ページを見ると、ナビエ・ストークス方程式は依然として未解決問題の一覧にあります。

発表翌日の朝に検索して「OpenAIが解いたなら、ClayのページもSolvedに変わっているはず」と確認しても、現状はそうなっていません。

いま起きているのは、非常に有力な証明候補が公開され、その内容を数学コミュニティーが検証していく段階です。

100万ドルの懸賞金がすでにOpenAIへ渡ることが決まったわけでもありません。

OpenAI自身も、今回の成果についてミレニアム賞の賞金を請求する意図はないと説明しています。

したがって、現時点で使うべき表現は「証明を発表した」「C・Dを解決したとOpenAIが主張している」であり、「Clayが正式解決を認定した」ではありません。

OpenAIのAIはどうやってナビエ・ストークス方程式の証明を見つけたのか

今回の証明は、一般公開されているChatGPTに1回質問して得られたものではありません。

OpenAIは未公開の高性能モデルと約1万のAIエージェントを大規模に動かし、複数の解法候補を並行して探索しました。

発見からLeanによる形式化までの流れを見ると、AIが数学研究へ入る方法そのものが今回の大きな特徴だと分かります。

約1万のAIエージェントが約88時間で解決案に到達

OpenAIの説明では、今回使われた内部モデルの訓練は2026年8月28日に始まりました。

9月1日からは、未解決のミレニアム懸賞問題を含む複数の難問に対して、大規模なエージェント探索を開始しています。

ナビエ・ストークス方程式を担当したグループでは、約1万のエージェントが同時に探索しました。

そして最初のエージェントを動かしてから約88時間後となる9月5日、解決案へ到達したとOpenAIは説明しています。

1人のAIが机に向かって88時間考え続けた、というイメージではありません。

たとえば大量の研究者が別々のホワイトボードで候補を試し、有望な方向を絞っていくように、多数のエージェントが並行して探索する方式です。

OpenAIによると、ナビエ・ストークス部分だけで約270万メッセージ、約1300億output tokensが使われました。

対象とした全問題を合わせると490万メッセージ、約3000億output tokensに達しています。

今回の成果はモデル単体の能力だけではなく、大量のAIエージェントへ計算資源を投入して探索空間を広げた結果でもあります。

GPT-6 Astraではなく未公開の内部モデルが証明探索を担当

「GPT-6 Astraがナビエ・ストークス方程式を解いた」と理解すると、今回の発表を正確には捉えられません。

証明探索の中心を担ったのは、OpenAIがGPT-6 Astraより大幅に高性能だと説明する未公開の内部モデルです。

2026年9月8日の発表時点でも訓練中とされており、今回の資料では正式なモデル名や一般公開日、API提供時期は確認できません。

GPT-6 Astraが担当したのは、解決案が見つかったあとのLeanによる形式化と検証です。

この工程には追加で約17時間かかったとOpenAIは公表しています。

そのため、現在利用できるChatGPTへ同じ問題を入力すれば、今回と同じ166ページの証明を再現できると示されたわけではありません。

今回の流れは「未公開モデルが証明を探索し、別のモデルも使って形式化・検証する」という複数段階の研究プロセスです。

ここは従来の「AIでナビエ・ストークス方程式を高速に数値計算する」という研究とも目的が異なります。

今回発表されたのは新しいCFDソルバーではなく、数学的な存在問題に対する証明です。

航空機設計や天気予報の計算がすぐ高速化したり、精度が向上したりする具体的効果は、今回の発表資料では確認されていません。

ナビエ・ストークス方程式とOpenAIの発表を正しく理解するポイント

OpenAIはナビエ・ストークス方程式の公式問題に含まれるC・Dを満たすとする証明を公開しましたが、2026年9月9日時点でClayによる正式な解決認定は出ていません。

今回の証明は滑らかな外力を使った有限時間blowupであり、よく知られる無外力のA・Bを直接解いたものではないという点が最大の整理ポイントです。

一方で、外力を認めるC・DもClayの正式な問題設定なので、「外力を使ったからミレニアム問題とは無関係」という理解も正しくありません。

約1万のAIエージェントによる探索とLean形式証明の公開は大きな成果ですが、数学界での検証やClayの認定が完了したわけではありません。

現時点では「OpenAIが解決案を発表し、正式な評価はこれから進む段階」と理解するのが最も正確です。