【2026年9月速報】OpenAIのAI、数学のミレニアム問題「ナビエ・ストークス」で新証明を発表｜1万エージェント88時間・Lean形式化と“功績論争”

米OpenAIは2026年9月8日（米国時間、日本時間では9日）、同社の未公開の大型AIモデルと大量のAIエージェントを使い、数学の難問「ナビエ・ストークス方程式」に関する新しい証明を作成したと発表した。証明は文章とPDF論文に加え、証明支援言語「Lean」で機械が検証できる形に書き直され、GitHubで公開されている。Quanta MagazineやNature、The Next Webなど複数の専門メディアが取り上げ、AIが数学の最前線でどこまで役に立つのかを示す事例として注目を集めた。

この記事を読むと、(1)ナビエ・ストークス方程式がなぜ難しいのか、(2)OpenAIが具体的に何をして何を示したのか、(3)「ミレニアム問題を解いた」と言い切れるのか、(4)なぜ功績をめぐる論争が起きているのか、が一通りわかる。日付・数字・固有名詞は、OpenAIの公開文書とそれを報じた複数メディア（Quanta Magazine、Nature、The Next Web、DataCampなど）に基づき、解釈や見通しの部分は「〜とされる」「〜と報じられている」と明記する。

ナビエ・ストークス方程式とは：世界に7つの難問の一つ

ナビエ・ストークス方程式は、水や空気などの流れ（流体）の動きを表す基本的な式だ。天気予報や航空機の設計、車の空力など、身のまわりの多くの技術がこの式を土台にしている。式そのものは19世紀からあるが、「なめらかで穏やかな流れから出発したとき、その流れが将来にわたってずっとなめらかなままでいられるのか、それとも途中で計算が破綻する点（特異点）が生まれるのか」という数学的な問いには、いまも完全な答えが出ていない。

この問いは、米クレイ数学研究所が2000年に選んだ「ミレニアム懸賞問題」7問のうちの1つで、正しく解けば100万ドルの賞金が出る。7問のうちすでに解かれたのは「ポアンカレ予想」だけで、ナビエ・ストークスは残る難問の一つとして知られている。今回OpenAIが取り組んだのは、この問題の一部にあたる「外力ありの3次元の流れで特異点が起きるか」という設定だと報じられている。

OpenAIが発表した内容：1万エージェントで88時間

OpenAIによると、今回の証明は一般には公開していない社内の大型モデルによるものだ。約1万個のAIエージェントを同時に動かし、互いにメッセージをやり取りしながら証明の方針を探索させ、約88時間で証明にたどり着いたとされる。その後、約17時間かけて、証明を「Lean」という証明支援言語に書き直した。Leanで書かれた証明は、内容が論理的に正しいかどうかをコンピューターが機械的にチェックできるため、OpenAIの説明を信じるかどうかとは別に、第三者が検証しやすいという利点がある。

OpenAIは、証明の文章、PDF論文、Leanのコード（GitHubで公開）の3点を同時に出した。研究担当のセバスチャン・ブベック氏は、今回の一連の探索にかかった計算資源のコストを「数百万ドル規模」と見積もったと報じられている。示された結果は「初めはなめらかで静止していた3次元の流れに、なめらかな外力を加え続けると、有限の時間のうちに特異点（速度が無限大になる点）が生じる」というものだ。

「ミレニアム問題を解いた」と言えるのか：外力ありの版という限定

ここが今回の最大の注意点だ。クレイ数学研究所が示すナビエ・ストークス問題の正式な文言には、いくつかの選択肢があり、「外から力を加えない流れ（無風の状態から勝手に破綻するか）」を問うものと、「なめらかな外力を許す」ものが含まれる。OpenAIが示したのは後者、つまり外力を加え続けたときに特異点が起きる、という設定だと報じられている。問題文が外力を認めている以上、これが査読を通れば正式な解答の要件を満たす、という見方もある。

一方で、多くの数学者は「外力なしで流れが自分から壊れるか」という無力の版のほうが本質的で難しい問いだと考えている、とQuantaやDataCampは伝えている。今回の結果は無力の版を解いたわけではない。また、独立した査読は行われておらず、クレイ数学研究所が正式に認定したわけでもない。Leanでの機械チェックは「論理の筋が通っているか」を保証するものの、「その設定が問題の意図に合っているか」までは判断しない。OpenAI自身が賞金を請求しないとしているのも、この点をふまえた慎重な姿勢と読める。

功績をめぐる論争：数学者チームとの同時発表

発表と同じタイミングで、功績（クレジット）をめぐる論争も表面化した。ニューヨーク大学の数学者トリスタン・バックマスター氏らは、関連する「オイラー方程式」の特異点について約1年かけて未発表の研究を進めており、OpenAIの発表の約12時間前に自分たちの結果を公表したと報じられている。バックマスター氏は、公表のタイミングや論文の著者順をめぐってOpenAI側から圧力を感じた、共同研究者を外すよう示唆された、といった趣旨の主張をしているとされる。

これに対しOpenAIのブベック氏は、こうした主張を「事実に反し、扇動的だ」と否定し、他者の非公開の研究を見て有利に進めたことはない、先行研究には謝辞で言及していると説明したと報じられている。また、流体の特異点研究では、ディエゴ・コルドバ氏とルイス・マルティネス＝ソロア氏の先行研究が重要だとして、プリンストン大学のチャールズ・フェファーマン氏が両氏を「立役者」と評したとも伝えられている。数学者テレンス・タオ氏は発表前の9月上旬、生産的な数学の問題を「バズる投稿」に変えてしまうことへの懸念を示し、発表後もバックマスター氏らの仕事を高く評価する一方、OpenAIの証明そのものへの明確な支持は表明していないとされる。

私たちへの影響：すぐ変わるものは少ないが、方向性は示唆的

今回の発表で、いま使えるChatGPTやAPIの料金・機能が直接変わるわけではない。使われたのは未公開のモデルで、一般提供の予定も示されていない。ただ、「多数のAIエージェントを長時間並列で走らせ、その出力を機械検証できる形にまとめる」というやり方が、数学のような厳密さの要る分野でも一定の成果を出しうる、という実例にはなった。ソフトウェア開発や理論研究など、答え合わせが可能な作業では、同じ発想の使い方が今後増える可能性がある。

一方で、今回の一件は「AIの成果をどう受け止めるか」の難しさも示している。派手な見出しと実際の中身（外力ありの版、査読前、賞金は請求せず）にはずれがあり、機械チェックが通っても専門家の評価は割れている。AIが出した結論は、それらしく見えても、重要な用途では人間や独立した第三者の確認を挟む——という姿勢の大切さを、あらためて確認させる出来事だといえる。

なぜ重要か：AIが数学の最前線に近づいた事例

これまでもAIによる数学の話題はあった。2026年8月にはOpenAIが未解決問題10問に新しい証明を付けたと発表し、9月上旬にはClaudeが「フェルマーの最終定理」を機械検証できる形に書き直した（こちらは新しい証明ではなく既存の証明の形式化）。今回はそれらと違い、世界的に有名な難問の一角で「新しい数学的結果」を主張し、しかも功績をめぐる生々しい対立まで表に出た点で性質が異なる。

AIが数学の道具として本当に使えるのか、使えるとして功績や検証の作法をどう整えるのか。今回の発表は、その論点をまとめて突きつけた事例として記録される可能性がある。数学者による検証の結果が出るまでは、「解決」ではなく「主張と検証の途中」と受け止めておくのが妥当だ。