🧠 OpenAIの次世代AIが「ナビエ・ストークス方程式」を解決か　数学史級の成果と研究データ疑惑を徹底解説

OpenAIは2026年9月8日、数学の最難関問題の一つ「ナビエ・ストークス方程式の存在と滑らかさ問題」について、有限時間で特異点が形成され得ることを示す証明を公開しました。使用されたのは一般公開されているGPT-6 Astraではなく、OpenAIが「Astraより大幅に高性能」と説明する訓練中の内部モデルと多数のAIエージェントを組み合わせたシステムです。さらに証明は定理証明支援系「Lean」でも形式化されており、正しければAIが数学研究の補助役を超え、長年未解決だった数学そのものを前進させた歴史的事例になります。ただし、2026年9月23日時点で「ミレニアム懸賞問題の正式解決が確定した」と表現するのは早く、数学界による検証とClay Mathematics Institute（CMI）の正式なプロセスが残されています。

🌊 90年近く数学者を悩ませた「流体は壊れるのか」という問題
🤖 1300億トークンを投入、Astraを超える未公開AIが発見
⚠️ Anthropic研究者らとの「先行研究・データ利用」を巡り論争
🧮 Leanで検証済みでも「100万ドル獲得」が確定しない理由
🔎 まとめ：数学の難問だけでなく「AI時代の研究ルール」も問う出来事に
1. 参考・出典

🌊 90年近く数学者を悩ませた「流体は壊れるのか」という問題

ナビエ・ストークス方程式は、水や空気などの流体がどのように動くのかを記述する基礎方程式で、航空機設計、気象、海洋、血流など幅広い分野と関係しています。しかし3次元の非圧縮性流体について、滑らかな初期状態から始めた解が永久に滑らかなまま存在するのか、それとも有限時間のうちに速度などが発散する「特異点（blowup）」を形成し得るのかは、長年証明されていませんでした。Clay Mathematics Instituteは2000年、この問題を7つの「ミレニアム懸賞問題」の一つに指定し、解決者に100万ドルの賞金を設定しています。OpenAIが公開した証明は後者、つまり滑らかな状態からでも有限時間で特異点が発生し得ることを示すものです。CMIも9月11日に「apparently been settled（解決されたとみられる）」との声明を発表し、数学界での検証が始まっていることを認めています。

OpenAIが説明する証明のイメージは、渦が内側へ螺旋状に縮みながら細長く引き伸ばされ、領域自体は小さくなる一方で流速が増大していくというものです。重要なのは、単純に無限大の外力を与えて人工的に発散させるのではなく、運動・圧力・粘性などの項が精密に釣り合いながら特異点へ向かう数学的構成を示すことです。なお、現実の水や空気が文字通り無限の速度になるという意味ではありません。これは一定の条件下でナビエ・ストークス方程式という数学モデルの滑らかさが破綻し得るかを問う数学上の問題です。

🤖 1300億トークンを投入、Astraを超える未公開AIが発見

今回の成果でもう一つ衝撃的なのが、その計算規模です。OpenAIによると、8月28日から数学能力などで従来にない性能を示す次世代内部モデルを訓練しており、9月1日に複数のミレニアム問題が解決されたという噂を聞いたことを契機に、複数の難問へAIエージェントを投入しました。最初にEuler方程式で成果を得た後、ナビエ・ストークス問題へ計算資源を集中。複数グループに異なるアプローチを探索させ、Codexを使って有望な中間結果を統合する方式を採用し、9月5日に解法へ到達、さらにGPT-6 Astraを使ったLean形式化・検証に約17時間を費やしたと説明しています。

ナビエ・ストークス問題だけでAIエージェント間のメッセージは約270万件
出力規模は約1300億トークン
全問題を合わせると約490万メッセージ・約3000億出力トークン
発見後にはLeanによる形式化された証明も公開
解法探索にはGPT-6 Astraより大幅に高性能とされる未公開内部モデルを使用
OpenAIは今回の成果について、ミレニアム懸賞金そのものを請求する意図はないと表明

これは「AIに問題文を1回入力したら答えが出た」という話とは大きく異なります。多数のエージェント、巨大なテスト時計算量、コード実行、文献アクセス、中間結果の統合、形式証明を組み合わせた大規模なAI研究システムによる成果です。OpenAI研究者のノーム・ブラウン氏は今回の実験に数百万ドル規模のコストがかかったと説明する一方、かつて約50万ドルを要したARC-AGI級の推論性能が後に極めて安価になった例を挙げ、同様の研究能力が将来一般ユーザーへ降りてくる可能性を指摘しています。

⚠️ Anthropic研究者らとの「先行研究・データ利用」を巡り論争

一方、この発表は数学以外の大きな論争も引き起こしました。NYUの数学者Tristan Buckmaster氏とAnthropic所属のLevent Alpöge氏は、Diego Córdoba氏とLuis Martínez-Zoroa氏が進めてきた研究を出発点に、ClaudeやCodexなど複数のAIを利用して流体方程式のblowup問題を研究していました。Buckmaster氏の声明によると、両氏は8月15日に滑らかな外力を伴うBoussinesq方程式と3次元非圧縮Euler方程式のblowupを得て、8月22日にLeanで検証。その後、研究内容に関する情報がOpenAI側へ伝わったとの情報を受け、9月3日にOpenAIの数学研究者へ自ら連絡しました。Buckmaster氏は、OpenAI側が研究の存在を知った後にナビエ・ストークス問題への取り組みを開始したと説明されたことや、自身が大量に使用していたCodexのセッションが訓練などに利用された可能性を質問したものの、その時点では十分な回答を得られなかったと主張しました。ただし同氏自身も声明で、OpenAIが自分たちのデータを実際に利用したかは分からず、不正を断定しているわけではないと明記しています。

ここはその後の更新が重要です。OpenAIは9月10日、内部調査の結果として、Buckmaster氏が発表前2カ月に入力したCodexプロンプトについて、今回使用した内部モデルの訓練を含め、結果に影響を与えることはなかったと確認したと公式ページを更新しました。同社によれば、今回の内部モデルは既存の事前学習済みモデルを基盤として大規模な強化学習で開発されたもので、研究者やAIエージェントがAlpöge氏・Buckmaster氏の未公開成果を参照したことも否定しています。一方、OpenAIのSébastien Bubeck氏とBuckmaster氏の間では、共同発表や著者構成を巡る会話についても説明が食い違っています。Buckmaster氏はAlpöge氏を著者から外す提案を受けたと主張する一方、Bubeck氏はこれを否定し、「Buckmaster氏をOpenAI側の証明を書き直す論文の筆頭著者にする」という別案について議論したものだったと説明しています。現時点では、数学的成果そのものと、研究情報の伝達・発表・クレジットを巡る論争を分けて見る必要があります。

🧮 Leanで検証済みでも「100万ドル獲得」が確定しない理由

Leanによる形式化は非常に重要です。通常の数学論文は人間の査読者が論理を確認しますが、Leanでは定義や前提から結論へ至る推論をコンピューターが形式的にチェックできます。そのためAIが生成した100ページ規模の証明を人間だけで読む場合に比べ、論理的な抜けや不正な推論を発見する強力な手段になります。ただし、「Leanが通った」ことと「ミレニアム懸賞問題として正式に認定された」ことは同義ではありません。形式化で使われた定義・前提がCMIの問題設定を正しく表現しているか、数学的構成が主張する対象に本当に対応しているかなど、専門家による理解と検証も必要です。

CMIの賞金認定には明確な手続きがあります。

解答がCMIの定めるQualifying Outletで出版されること
出版から少なくとも2年間が経過すること
その間に世界の数学界から一般的な受容を得ること
CMIは提案された証明を直接投稿して審査する制度を採っていない

つまり、2026年9月の時点で「OpenAIがミレニアム懸賞問題を正式に解決し100万ドルを獲得した」とするのは不正確です。CMI自身も今回の発表に強い関心を示していますが、評価プロセスは意図的に時間をかけて進めるとしています。今回の証明が今後の専門家による精査を耐え抜けば、ナビエ・ストークス問題そのものの解決だけでなく、AIが未解決数学を探索し、形式証明まで持ち込む研究手法が実証されたという二重の意味を持つことになります。

🔎 まとめ：数学の難問だけでなく「AI時代の研究ルール」も問う出来事に

今回の発表が示した最大の変化は、AIが既存論文を要約したり数学者の計算を補助したりする段階から、膨大な計算資源とエージェントを投入して未解決問題の新しい証明候補を探索する主体へ近づいていることです。同時に、人間の研究者がClaudeやCodexへ入力した未公開研究をAI企業がどのように扱うべきか、AIと人間が共同で得た発見の優先権や著者資格をどう決めるのか、競合企業に所属する研究者同士がどのように成果を共有するのかという新しい課題も浮上しました。OpenAIの証明が最終的に数学界でどのように評価されるかとともに、**「AI時代の数学研究で誰に、どの成果のクレジットを与えるのか」**という研究倫理の議論も、今回の一件が残す重要なテーマになりそうです。