OpenAI、ナビエ–ストークス解法を提示　約1万AIが88時間、Clayでは現在も未解決扱い

多数のAIエージェントを表す光点が、ナビエ–ストークス方程式を象徴する流体の渦へ集まる概念イメージ AI・テクノロジー

OpenAIが、数学の「ミレニアム懸賞問題」の一つであるナビエ–ストークス方程式の存在と滑らかさの問題について、AIが生成した解法を2026年9月8日に公開しました。

発表によると、GPT-6 Astraより高性能な開発中の内部モデルを使い、最終的には約1万のAIエージェントが協調。最初のエージェントを起動してから約88時間で解法へ到達し、ナビエ–ストークス部分だけで約1300億の出力トークンを使ったとしています。

その後、GPT-6 AstraによるLean形式化・検証に17時間を費やしました。

ただし、現時点で「約90年間の未解決問題をAIが正式に解決した」と言い切るのは早い段階です。

2026年9月9日21時台に確認したClay Mathematics Institute（CMI）の公式サイトでは、ナビエ–ストークス問題は現在も「Unsolved problems」の欄に掲載されています。

OpenAIが解法を公開したこと、Leanによる形式証明を公開したこと、第三者による独立検証が完了すること、そしてClayが解決として認定することは、それぞれ分けて考える必要があります。

OpenAIが示したのは「外力あり」で特異点が生じる反例

ナビエ–ストークス方程式は、水や空気などの流体の動きを記述する方程式です。

長く未解決なのは、3次元のナビエ–ストークス方程式について、滑らかな初期状態から始めた解が常に滑らかなまま存在するのか、それとも条件によって有限時間で破綻するのかという問題です。

OpenAIの論文「Finite Time Blowup for Navier–Stokes」は、正の粘性を持つ3次元非圧縮性ナビエ–ストークス方程式について、静止状態から始まり、滑らかな外力を加えたときに、運動エネルギーを有限に保ちながら速度が有限時間で非有界になる解を構成したと主張しています。

ここで重要なのが「外力あり」という条件です。

Clayの公式問題設定には、A〜Dの4つの解決方法が示されています。

A・Bは外力をゼロとした設定で、対象となる滑らかな初期データから大域的に滑らかな解が存在することを示すものです。

一方、C・Dは滑らかな外力を許し、その条件下で大域的な滑らかな解が存在しない例を示す選択肢です。

OpenAIが今回成立させたと主張しているのはCとDです。

つまり今回の結果は、外力をゼロとしたA・Bについて「対象となるすべての初期データから大域的に滑らかな解が存在する」と証明したものではありません。

また、外力なしの条件で有限時間blowupする反例を構成したわけでもありません。

一方で、CまたはDもClayが公式問題文に定めた解決方法です。

そのため「外力を使っているからミレニアム問題とは別物」と切り捨てるのも正確ではありません。

OpenAIの証明が正しく、ClayのCまたはDの条件を満たしていることが外部から確認されれば、公式に設定されたナビエ–ストークス問題への解答となります。

88時間・約1万エージェント・1300億トークン

数学的な結論と同じくらい目を引くのが、解法へ至った方法です。

OpenAIによると、9月1日に「2つのミレニアム懸賞問題が解決された」という噂を聞いたことをきっかけに、未解決のミレニアム問題などを複数のAIエージェント群へ与えました。

その中で約100エージェントが約50時間かけ、粘性を取り除いたEuler方程式の関連問題で成果を出したため、OpenAIはナビエ–ストークスへ計算資源を集中させました。

最終的な規模は次の通りです。

項目 OpenAI公表値
最大規模 約1万の同時AIエージェント
解法到達まで 約88時間
ナビエ–ストークス関連メッセージ 約270万件
出力トークン 約1300億
Lean形式化・検証 追加17時間
Lean検証に使用 GPT-6 Astra

※OpenAI公表値。88時間は最初のエージェント群を起動してから解法へ到達するまで。

Hacker Newsでも発表は大きな議論となり、2026年9月9日21時台の確認時点で1,200ポイント超・900コメント超でした。

コメントでは、1万規模のエージェントと計算量への驚きに加え、形式証明をどこまで評価できるのか、先行研究との関係をどう考えるべきか、AIサービスへ入力した未公開研究をどう扱うべきかといった論点も議論されています。

「解法公開」と「正式解決」は5項目に分けて考える

今回の現在地は、次の5項目に分けると分かりやすくなります。

項目 2026年9月9日21時台
OpenAIが解析的証明を公開 済み
Lean形式証明を公開 済み
第三者による独立検証の完了 確認できず
Clay公式サイトでの扱い 未解決
Clayの懸賞認定 未認定
OpenAIの証明公開と第三者による独立検証、Clayの懸賞認定を分け、独立検証の完了は未確認で、認定には公表から2年以上と数学界の一般的受容が必要であることを示す図

Clayの公式サイトでは、2026年9月9日21時台もナビエ–ストークス問題が「Unsolved problems」の欄に掲載されています。

さらにミレニアム懸賞問題の賞金認定には、Clayの規則上、

  • 解法が条件を満たす媒体で公表される
  • 公表から少なくとも2年が経過する
  • 世界の数学界で一般的に受け入れられる

という3条件を満たす必要があります。

OpenAI自身も、今回の成果について100万ドルの懸賞金を請求する意向はないとしています。

なお、この「2年」は、数学者が証明を確認するのに必ず2年かかるという意味ではありません。

証明の数学的評価が固まる時期と、Clayが懸賞金を認定するための手続き上の条件は別です。

したがって現段階では、「OpenAIがミレニアム問題の解法を公開し、C・Dを成立させたと主張している。一方、Clayでは現在も未解決扱い」と表現するのが適切です。

Lean形式証明は強い材料だが、外部合意とは別

今回の発表で従来の「AIが難しい数学問題を解いた」というニュースと大きく違うのが、Leanによる形式証明も公開された点です。

Leanは、数学的な定義、定理、証明手順をコンピューターが機械的に検査できる形で記述する定理証明支援系です。

OpenAIはナビエ–ストークスとEuler方程式のLean形式化をGitHubで公開し、第三者が内容を確認するための手順も示しています。

リポジトリのメタデータでは、ナビエ–ストークスのC・Dに対応する主要結果について sorry_count: 0 とされています。一方、レビュー状態は「self-assessed」です。

つまり、OpenAI側の形式化では未証明部分を示す sorry を残していないとされていますが、これ自体が外部の数学者による独立レビューの完了を意味するわけではありません。

したがって、

「OpenAIがLean形式証明を公開した」＝「数学界でミレニアム問題が正式に解決済み」

ではありません。

Lean上で定義された定理や仮定がClayの公式問題を正確に表現しているか、自然言語で書かれた論文と形式化の対応に問題がないか、使用した定義やライブラリを含めて意図した数学を正確に表しているかなどは、外部から確認すべき論点として残ります。

2026年9月9日21時台に、今回の主張全体について第三者による独立した検証が完了したことは確認できませんでした。

形式証明は証明の信頼性を高める非常に強力な道具ですが、外部の数学者による検証や数学界の合意そのものを置き換えるわけではありません。

先行研究とデータ利用を巡る論点も残る

数学的な正しさとは別に、今回の発表では研究の優先順位やAIサービスへ入力した研究データを巡る議論も起きています。

NYUの数学者Tristan Buckmaster氏とAnthropicのLevent Alpöge氏は、Diego Córdoba氏とLuis Martínez-Zoroa氏らによる研究を出発点として、関連する流体方程式の有限時間blowupを研究していました。

Buckmaster氏の声明によると、2人はClaudeやOpenAIのCodexなど複数のLLMを研究に利用し、2026年8月には滑らかな外力を使ったEuler方程式などの結果へ到達していました。

問題になっているのは、その後の経緯です。

OpenAIは、9月1日に「2つのミレニアム懸賞問題が解決された」という噂を聞いたことをきっかけに探索を開始し、後になってその噂がBuckmaster氏とAlpöge氏の研究に関連していたと分かったと説明しています。

一方、Buckmaster氏は、OpenAI側へ自分たちの研究に関する情報が伝わった時期や、OpenAIが同じ「滑らかな外力」を使う方向へ進んだ経緯について疑問を示しています。

ただしBuckmaster氏自身も、声明でOpenAIの証明内容をまだ確認しておらず、OpenAIのモデルが何をしたのか、自分たちのデータが実際に利用されたのかは分からないとしています。

また、誰かを盗用などで告発しているわけではないことも明記しています。

OpenAI側は、研究者やAIエージェントがBuckmaster氏らの研究を公開前に見たことはなく、問題を解くために特定ユーザーのデータへアクセスしていないと説明しています。

その一方で、Buckmaster氏らによるOpenAI製品の利用から得られた匿名化データが、モデル改善へ影響した可能性については完全には排除していません。

現時点では、この経緯についてどちらか一方の説明を確定事実として扱うことはできません。

転換点は「答え」だけでなく研究速度

今回の証明が最終的に数学界で受け入れられるかは、今後の検証を待つ必要があります。

それでもAI研究という観点では、すでに注目すべき数字があります。

約1万のエージェントを並列化し、複数グループの中間成果を統合しながら探索し、88時間で候補証明へ到達。その後、GPT-6 Astraを使ってLean形式化・検証まで進めました。

これは、単に「高性能なAIへ難問を1回質問した」という使い方ではありません。

多数のAIが問題を分担し、成果を共有し、形式検証まで含む研究プロジェクトを短期間で回すという形です。

ナビエ–ストークス問題の証明自体が正しいかという論点と、「AIによって数学研究の探索速度をどこまで高められるのか」という論点は分けて考える必要があります。

前者については、第三者による独立検証の完了をまだ確認できません。

一方、後者については、88時間・約1万エージェント・1300億出力トークンという数字自体が、AIを使った研究の規模がこれまでとは違う段階へ進んでいることを示す事例になっています。

参照したネット反応

参照した一次情報

タイトルとURLをコピーしました