OpenAIがナビエ・ストークス方程式を解決と発表｜CMI「解決されたようだ」・賞金1億円の行方・功績論争の最新状況【2026年9月】

2026年9月8日、OpenAIは未公開の社内モデルが約1万エージェント・約88時間でナビエ・ストークス方程式の「有限時間爆発」を証明したと発表し、9月11日にはクレイ数学研究所（CMI）も「解決されたようだ（apparently been settled）」とする声明を出しました。ただし証明されたのは公式問題文の4つの選択肢のうち外力を加えてよい (C)(D) で、流体研究者が本命とする外力なしの (A)(B) は未解決、賞金100万ドル（約1億円規模）の授与や功績の帰属も決まっていません。

この記事では、OpenAIの論文PDF・Lean形式化リポジトリ・CMIの公式問題文と賞金規則・声明といった一次資料をもとに、次の点を整理します。

• 9月25日時点で「解けたこと／解けていないこと／まだ決まっていないこと」
• 約1万エージェント・88時間・Lean検証の中身と、機械検証で保証される範囲
• Anthropic所属の研究者らとの功績論争と、OpenAIが9月10日に修正したデータ利用の説明
• フィールズ賞受賞者25人の共同声明や、外力なし版に向けた最新の研究動向
• CodexやChatGPTに未公開の情報を入れている人が確認すべき設定

AIの到達点を正確に把握したい方、社内でこのニュースを説明する立場の方、業務でOpenAI製品に機密情報を扱っている方に向けた内容です。

9月25日時点の現在地：解けたこと・解けていないこと

現時点では、「ルール上の解決には届いた可能性が高いが、公式な認定・授賞・分野が本当に知りたかった答えはまだ」という段階です。状況を3つに分けると次のようになります。

CMIは声明で、評価プロセスを「意図的に急がない（deliberately unhurried）」と明言しています。CMIのミレニアム懸賞問題一覧でも、ナビエ・ストークスは9月25日時点で「Active problems」の区分に置かれたままです。

時系列：8月15日〜9月23日に何が起きたか

発表の前後3週間で、状況は大きく動きました。報道や一次資料で確認できた主な出来事を時系列で並べます。

※ 9月10日の記載差し替えは複数報道による日付です（Wikipediaは9月13日時点の主張として記載）。

ナビエ・ストークス方程式とミレニアム懸賞問題の基本

ナビエ・ストークス方程式は、水や空気のような非圧縮性流体の運動を記述する偏微分方程式です。航空機設計や気象予測の数値計算では日常的に使われていますが、「3次元で滑らかな解がずっと存在し続けるのか」という数学的な保証は、これまで誰も与えられていませんでした。

• クレイ数学研究所が2000年に設定したミレニアム懸賞問題7問の1つ（正式名称「Navier–Stokes existence and smoothness」）
• 賞金は100万ドル（日本円で約1億円規模。為替で変動）
• 7問のうち公式に解決済みとされているのはポアンカレ予想のみ（グリゴリー・ペレルマン氏が証明し、賞金は辞退）
• 公式問題文を執筆したのはプリンストン大学のチャールズ・フェファーマン氏

「90年の難問」と呼ばれるのは、ジャン・ルレイが1934年に弱解の存在を示して以来、その解が滑らかであり続けるかが決着していなかったためです。方程式自体は19世紀に定式化されています。

生成AIやAIエージェントの基礎から押さえたい方は、生成AIとは？仕組み・できること・主要ツールもあわせてご覧ください。

公式問題文の4つの選択肢と、OpenAIが満たしたもの

評価が割れる最大の理由は、公式問題文が「4つのうちどれか1つを証明すればよい」という設計になっていることです。フェファーマン氏の公式PDFには次の一文があります。

"To give reasonable leeway to solvers while retaining the heart of the problem, we ask for a proof of one of the following four statements."

※ (C)(D) には「解が滑らかであること」「運動エネルギーが有界であること」という条件が付きます。エネルギーを無限に注ぎ込んで壊す、という抜け道は封じられています。

※ 出典: Existence and Smoothness of the Navier–Stokes Equation / C. L. Fefferman（Clay Mathematics Institute 公式PDF）

OpenAIの論文は本文で「ミレニアム問題の選択肢 (C) を確立する」「コンパクト台により (D) も確立する」と明記しています。文言上は (C) の証明でも「解決」に該当するというのがOpenAIの主張の根拠です。

一方、流体力学の研究者が本当に知りたいのは「外から何も加えなくても、流体は自発的に特異点を作るのか」という (A)(B) 側の問いです。シカゴ大学のLuis Silvestre氏はScientific Americanの取材に「クレイの問題は決着したが、ナビエ・ストークス方程式の主要な問題は解かれていない」と答えています。

OpenAIが公開した内容：論文・Lean・計算規模

出典: openai/NavierStokesAndEuler（GitHub）

OpenAIは発表と同時に、論文2本とLean形式化リポジトリを公開しました。公開資料で確認できる数字は次のとおりです。

公開された一次資料

NS論文のアブストラクトは「あらゆる正の粘性に対し、静止状態から始まり、運動エネルギーを一様有界に保ったまま有限時間で速度が非有界になる3次元非圧縮ナビエ・ストークス方程式の解を構成する」という内容です。

見落とされがちですが、オイラー方程式の結果は外力なしで得られています。オイラー方程式（粘性ゼロ）はミレニアム懸賞問題そのものではないものの、外力の助けなしに特異点を作った点を高く評価する研究者もいます。

証明の骨格

1. 自己相似的に集中する渦 — 軸対称の背景流が、ある時刻に向けて一点に収縮していく
2. 振動パルス機構 — 高周波の局在パルスが平均的な運動量流束を生み、崩壊していく背景渦に足りない分の力を補う。これにより外力自体は滑らかなまま保てる
3. 反復補正 — 残差をあらゆる次数で逐次消していき、最終的にコンパクト台の滑らかな外力にまとめる

OpenAIは公式Xで、渦が内側へ螺旋を描きながら「スパゲッティのように」引き伸ばされていく機構だと説明しています。論文は、コルドバ氏とマルティネス＝ソロア氏の「増幅を段階的に重ねる」特異点構成戦略を引用しつつ、振動パルスで外力の不足分を供給する点を自分たちの独自性として挙げています。

計算規模：約1万エージェント・88時間

出力トークン数については報道によって桁が食い違っており、この記事では断定を避けます。

形式化の速さは特筆に値します。数学者のJohn D. Cook氏は「教科書1ページの形式化に約1人週」という従来の目安から、166ページなら約13万人時かかる計算になると試算し、17時間での完了は4桁のコスト削減にあたると指摘しています（John D. Cook氏のブログ）。

1万エージェントの並列運用がイメージしづらい方はAIエージェントとは？仕組み・種類・活用事例、使われたモデルの系譜はOpenAI Astraとは？次期メジャーモデルの正体、公開モデル同士の性能差はGPT-6 Astra vs Claude Fable 5.1 vs Gemini 3.8の比較が参考になります。

Lean形式化で保証されること・されないこと

出典: Lean 公式サイト

今回もっとも評価すべき点は、証明がLean 4で第三者が機械検証できる形で公開されていることです。ただし「Leanで通った＝ミレニアム懸賞問題が認定された」ではありません。

機械が保証する範囲

• リポジトリのメタデータで sorry_count: 0。証明を後回しにする穴（sorry）がない
• 依存する公理は標準的な propext / Classical.choice / Quot.sound のみで、独自の強い仮定を持ち込んでいない
• 主定理は NavierStokes.Comparator.navier_stokes_breakdown_R3（選択肢C）などとして宣言されている
• Comparatorによる検証手順が同梱され、誰でも再チェックできる

なお、リポジトリ内の ComparatorChallenges/ フォルダには sorry が含まれますが、これは第三者の問題定義に由来する「チャレンジ用の空欄」で、証明の穴ではありません。

人間が判断すべき範囲

Leanが保証するのは「書かれた命題から、書かれた証明が正しく導かれる」ことだけです。「その命題がCMIの公式問題文と一致しているか」は人間が読んで確認するしかありません。定義が少しでもずれていれば、論理的に完璧な証明でも別の問題を解いたことになります。

OpenAIはこの弱点への対策として、Google DeepMindのFormal Conjecturesプロジェクトがナビエ・ストークス問題を形式化した定義を、独立した参照命題として採用しています。自社で書いた問題文ではなく、第三者が定義した問題文に証明が当てはまることを確かめられる設計です。

もう一つの課題は、人間の理解が追いついていないことです。Gamburd氏は9月23日の論考で「1万エージェントが88時間で書いた166ページが、約60万行のLeanで証明されている」一方で、執筆時点では誰も通読していないと指摘しました。Futurismも「証明がほぼ理解不能」と報じています。AIによる数学成果の検証がどう変わってきたかは、OpenAIのAIが80年来の数学難問を解いた｜エルデシュ予想の反証やClaudeがリーマン予想で数学的成果を出した件と読み比べると見えてきます。

功績論争：OpenAIとAlpöge・Buckmaster両氏の違い

出典: Anthropic 公式サイト

論争の中心は「どちらが先か」ではなく、OpenAIが相手の未公開の成果に触れる経路があったのか、そして著者の扱いが適切だったかです。現時点で不正が確認された事実はありません。

2つの成果の比較

Buckmaster氏は初期のLLM出力を「数学史上最悪の書き上げ」と自嘲しつつ、人間の手で論文の形に仕上げた経緯を公表しています。

主張の食い違いと、OpenAIの説明の変化

OpenAIのMark Chen氏も、いかなるシステムもユーザーデータを検索していないと否定しています。ただし「7月3日以降」という区切りは、それ以前のデータについては言及していないとも読めます。Buckmaster氏らのCodex利用がいつから続いていたかは確認できておらず、この記事では断定しません。

Buckmaster氏自身は「誰かを告発しているのではなく、いつ何を言われたかを述べているだけ」という立場です。

土台を築いた研究者と引用の問題

一連の結果の土台となる特異点構成手法を開発したのは、マドリードICMATのディエゴ・コルドバ氏とルイス・マルティネス＝ソロア氏です。公式問題文を書いたフェファーマン氏は「この物語の主役はコルドバとマルティネス＝ソロアだ」とQuanta Magazineに語っています。AIを使わないというコルドバ氏は「私にはルイスがいる」と答え、マルティネス＝ソロア氏は「自分たちでやれたら良かったが、とても嬉しい」とコメントしました。

引用をめぐっては、Cao-Labora氏らの指摘を受けてOpenAIは参考文献を16件から22件に拡充しました。ただし9月25日時点のPDFを確認すると、Alpöge氏・Buckmaster氏の2026年のプレプリントは参考文献に含まれていません。

9月11日以降の続報：CMI声明とフィールズ賞25人の共同声明

出典: Clay Mathematics Institute「Navier-Stokes Announcement」

9月11日には、評価を左右する2つの公式な反応が同日に出ました。CMIは「解決されたようだ」と前向きに受け止める一方、トップ数学者たちはAI企業の姿勢そのものに異議を唱えています。

CMIの声明

CMIの公式声明は「ナビエ・ストークス問題が解決されたようだという発表を、世界の数学コミュニティとともに喜ばしく受け止めている」という趣旨です。評価プロセスは「意図的に急がない」としつつ、進捗は報告するとしています。

注目すべきは、声明がOpenAIを名指ししていない点です。賞の授与や功績の帰属は、規則に基づく別のプロセスで判断するという立場を示したものと読めます。ブリッドソン会長は「徹底的に厳密に」評価すると述べたと報じられています。

フィールズ賞受賞者25人の共同声明

同じ日、タオ氏を含むフィールズ賞受賞者25人が署名した共同声明「A Severe Misalignment of AI in Mathematics」が公表され、Economist・Le Mondeにも掲載されました。日本でも日経などが報じています。要旨は次の3点です。

• AI企業が数学の難問を性能のベンチマークとして使うことは、概念的な理解という数学の目的と深刻にずれている
• 急いだ発表で先行研究の引用や手法の説明が不十分になり、帰属や盗用の問題が起きる
• 学生を育てる徒弟的なしくみと、人間による知の継承が断たれかねない

声明には「問題を解くことは、概念的理解と洞察という主目的を達成するための道具であり代理指標にすぎない」という一文があります。タオ氏は別の場で「ある問題に誰かが取り組んでいるという噂だけで、AIによる大規模な力技が引き起こされることがわかった」とも述べ、プレプリントではなくプレスリリースやSNSで成果を発表する企業の姿勢に懸念を示しています。

外力なしの本命 (A)(B) は近いのか

現時点では「近い」とも「遠い」とも言い切れず、見解が割れています。 9月以降、楽観論と慎重論の両方を裏づける研究が出ています。

Scientific Americanは、Constantin氏らの論文を「OpenAIの手法は完全版に拡張できないことを示した」と要約しています。ただし論文が扱うのは特定のクラスの解であり、「外力なしの爆発はあり得ない」と証明されたわけではありません。

賞金1億円規模は、いつ・誰が受け取れるのか

出典: Clay Mathematics Institute 公式サイト

9月25日時点では誰も受け取れず、最短でも数年先です。 CMIの声明が出ても、賞金規則そのものは変わっていません。

※ 出典: Rules for the Millennium Prize Problems | Clay Mathematics Institute

査読誌への投稿は、確認できた範囲では報じられていません。つまり、賞金審査の起点にもまだ立っていない状態です。OpenAIは賞金を請求しない意向を示しており、争点は金額よりも「ミレニアム懸賞問題を解いた」という称号が誰に帰属するかに移っています。著者表記が「OPENAI」だけの論文をCMIがどう扱うのかも、前例のない論点です。

AIツールを使う側が確認すべき実務ポイント

一般のAI利用者にとって最も実利があるのは、「CodexやChatGPTに入れた未公開の仕事は、モデルの学習に使われるのか」という点です。今回OpenAIは、データ寄与の説明を「否定できない」から「7月3日以降の入力は影響し得ない」へと日付で区切って修正しました。企業がデータ利用の範囲を後から説明し直した実例として、機密情報を扱う組織には判断材料になります。

OpenAIの公式ヘルプでは、これまでアカウント種別ごとに次のように整理されてきました。

※ プラン区分や既定値は変更されることがあります。導入判断の前に、OpenAIのデータ利用に関する公式ヘルプとエンタープライズ向けプライバシーページで最新の記載を必ず確認してください。

やるべきことは単純です。

1. 社内で個人プランのまま業務利用しているアカウントを洗い出す
2. 未公開の研究成果や顧客情報を扱う用途は、既定で学習対象外の契約形態に移す
3. 移せない場合は、投入する情報の粒度を落とす（固有名詞・数値・未発表の結論を伏せる）
4. 利用規約やプライバシー方針の変更を定期的に確認する担当を決める

組織としての設計はAIエージェントのセキュリティ対策｜リスクの全体像とチェックリスト、ツール単体の設定はOpenAI Codexとはで整理しています。

このニュースで変わること・変わらないこと

製品を使う立場から見ると、今すぐ変わることは多くありません。一方で、AI研究開発や検証のあり方には中長期で効いてきます。

大規模なエージェント群が現実世界に与える影響という点では、OpenAIのエージェント群がドイツのWikiを大量編集した件や、安全面から開発を一部止めたOpenAIがAstraの開発を一部停止した件も同じ流れで理解できます。

今後の焦点：何が起きたら評価が変わるか

このニュースは現在進行形です。次のいずれかが動くと、評価は大きく変わります。

こんな人は詳しく追うべき／今すぐの対応は不要な人

詳しく追うべき人

• 偏微分方程式・流体力学の研究者 — 外力ありの構成を外力なしに拡張できるかが、今後数年の主戦場になります
• 形式検証・Leanに関わるエンジニア — 「命題の定式化を誰が保証するか」はソフトウェア検証でもそのまま起きる問題です
• AI研究の到達点を経営判断に使う立場の方 — 「1万エージェント×88時間で数百万ドル規模」というコスト構造は、研究開発投資の見積もりに影響します
• 未公開情報をAIツールに入れている組織のセキュリティ担当者 — プラン別の学習設定を棚卸しするきっかけになります
• AI関連の情報発信をしている方 — 「ミレニアム懸賞問題が完全解決」という要約は不正確です。(C)(D)と(A)(B)の違いを説明できるかで信頼性が分かれます

今すぐの対応は不要な人

• ChatGPTやClaudeを日常業務で使う一般ユーザー — 社内モデルは未公開で、手元の製品に即時の変化はありません
• AIツールの選定を進めている担当者 — 使い勝手・料金・日本語対応・セキュリティといった選定基準は変わりません
• 数値流体力学（CFD）を業務で使う技術者 — 実務のシミュレーション手法や精度に影響する結果ではありません

よくある質問

Q. 結局、ミレニアム懸賞問題は解決したのですか？

「公式問題文の選択肢(C)(D)を満たす証明が提示され、CMIも『解決されたようだ』と声明した」が正確な表現です。 ただしCMIは正式な認定をしておらず、査読と2年の受容期間を経た審査はこれからです。外力なしの(A)(B)は未解決です。

Q. CMIが「解決されたようだ」と言ったのに、なぜ正式な解決ではないのですか？

声明はあくまで数学界の受け止めを共有したもので、賞金規則に基づく審査とは別物です。CMIは声明でOpenAIを名指ししておらず、評価は「意図的に急がない」と明言しています。

Q. なぜ「解けたのに本命は解けていない」と言われるのですか？

公式問題文は「滑らかな外力を加えて爆発させる」ルートも解決として認めています。一方で流体研究の関心は「流体が外部の助けなしに自発的に壊れるか」にあり、ルール上の達成と分野が求めていた答えがずれているためです。

Q. OpenAIは100万ドルを受け取るのですか？

OpenAIは請求しない意向を示しています。そもそも規則上、査読誌掲載から2年を経なければ審査対象にならず、著者が企業名のみの論文をどう扱うかも決まっていません。

Q. Lean検証が通っているのに、なぜ疑いが残るのですか？

Leanが保証するのは「命題から証明が正しく導かれること」で、「その命題がCMIの問題と一致すること」ではないためです。OpenAIはGoogle DeepMindの第三者定義を採用して対策していますが、166ページの証明を人間が理解・検証する作業はこれからです。

Q. OpenAIが他の研究者の成果を盗んだのですか？

不正が確認された事実はありません。 OpenAIは相手の成果を公開前に見ていないと説明し、9月10日にはデータ寄与について「7月3日以降のユーザー入力は影響し得ない」と記載を改めました。一方で、それ以前のデータの扱いや着手の経緯について双方の主張は並行しています。

Q. 自分がCodexやChatGPTに入れた内容は学習に使われますか？

契約形態と設定によります。従来の公式ヘルプでは、個人向けプランは既定で学習に使われうるため設定でオフにする必要があり、Business/Enterpriseは既定で学習対象外と整理されています。既定値は変わりうるため、公式ページで最新の記載を確認してください。

Q. フィールズ賞受賞者はなぜ反発しているのですか？

成果そのものより、AI企業が難問をベンチマーク扱いし、先行研究への敬意や人材育成を損なう進め方を問題視しています。「問題を解くことは理解のための道具にすぎない」という立場からの批判です。

Q. AIが数学者を不要にするということですか？

現時点ではその見方は成り立ちません。今回の結果もコルドバ氏とマルティネス＝ソロア氏の手法の上に成り立っており、証明を理解し検証する人材はむしろ一層必要になっています。

まとめ

OpenAIの発表は「ミレニアム懸賞問題が完全に解けた」と要約すると不正確になります。9月25日時点の正確な現在地は、公式問題文のうち滑らかな外力を許す(C)(D)を満たす証明がLean付きで公開され、CMIも「解決されたようだ」と受け止めたが、正式な認定・授賞・外力なしの(A)(B)はまだ、というものです。

この3週間で見えてきた論点は3つあります。1つめは、約1万エージェント・88時間・数百万ドル規模の計算で研究レベルの成果が出る一方、166ページの証明を人間が理解するのが追いつかないという、生成と検証の非対称。2つめは、形式検証で論理の正しさは担保できても、問題の定式化や功績の帰属は人間が判断するしかないという限界。3つめは、AIサービスに入れたデータの扱いが、研究の優先権という重い問題にまで及びうるという事実です。

AIに任せた成果を誰が検証し、誰が責任を持って読むのか。数学界がいま直面しているこの問いは、AIエージェントを業務に取り入れるすべての組織にとっても避けて通れません。