• OpenAIが2026年9月8日、約1万体のAIエージェントで「ナビエ・ストークス方程式」の特異点を88時間で証明したと発表
  • 証明は数学ソフト「Lean」で機械検証済みで、GitHubにも公開されている
  • ただし「外力あり」の設定で、賞金約1.5億円のミレニアム懸賞問題が正式に解けたとは認められていない
  • NYUの数学者とAnthropicの研究者が「自分たちの手法を先取りされた」と反発し、論争に発展
  • 数学の未解決問題がAI企業の「競争の舞台」になった意味と、日本への影響を解説

「AIが数学の超難問を解いた」と聞いて、本当なの？と思った人は多いはずです。2026年9月、OpenAIは約1万体のAIエージェントを88時間走らせ、100年近く未解決だった「ナビエ・ストークス方程式」の問題に答えを出したと発表しました。この記事では、何が証明されて何が残っているのか、そして数学者たちがなぜ怒っているのかを、やさしく整理します。

OpenAIは何を発表したのか

まず発表の中身から見ていきましょう。

OpenAIは2026年9月8日、社内の未公開モデルを使ったエージェント群が、3次元ナビエ・ストークス方程式に「特異点」が生じることを証明したと発表しました。

特異点とは、流体（水や空気）の速度が有限の時間で無限大に発散してしまう点のことです。つまり「計算上、流れが壊れてしまう瞬間がある」と示したわけです。

証明の形は、内側へ渦を巻きながらスパゲッティのように細く長く伸びていく「渦」です。中心はどんどん小さくなり、速度はどんどん上がります。それでも全体のエネルギーは有限にとどまる、という構成になっています。

数字で見る「1万体のエージェント」

今回の取り組みは規模が桁違いです。報道各社が伝えた数字をまとめます。

  • 同時に動いたAIエージェント: 約1万体
  • 開始から結論まで: 9月1日に着手し、約88時間で9月5日に到達
  • エージェント同士のやり取り: 約270万件のメッセージ
  • 使った出力トークン（AIが書いた文章量の単位）: 約1300億トークン
  • Leanによる形式化（機械で検証できる形に書き直す作業）: 追加で約17時間
  • 計算コスト: 「数百万ドル（数億円）規模」とされ、最大2250万ドルとの試算も

OpenAIによると、使ったのは公開済みの「GPT-6 Astra」より大幅に高性能な次世代の内部モデルです。ナビエ・ストークスに取りかかる前には、約100体のエージェントが50時間かけて、関連するオイラー方程式の問題も扱っていました。

ナビエ・ストークス方程式とは何か

ここで、そもそもの問題を確認しておきましょう。

ナビエ・ストークス方程式は、水や空気の流れを表す方程式です。天気予報、飛行機の設計、血液の流れのシミュレーションなど、身の回りのあらゆる「流れ」の計算に使われています。

不思議なのは、これほど使われているのに「答えがいつでもきれいに存在するのか」が数学的に証明されていないことです。

賞金100万ドルのミレニアム懸賞問題

2000年、米国のクレイ数学研究所は「ミレニアム懸賞問題」として7つの難問を選び、1問につき100万ドル（約1.5億円）の賞金をかけました。

ナビエ・ストークス方程式の「存在と滑らかさ」はその1つです。解決済みはポアンカレ予想だけで、残り6問は今も未解決のままです。

問われているのは大きく2方向です。「滑らかな初期状態から始めれば、解はずっと滑らかなままか（存在）」、それとも「ある条件で解が壊れる瞬間があるのか（崩壊）」。OpenAIが示したのは後者の「崩壊」側です。

「解けた」と言い切れない3つの理由

では、これで賞金はOpenAIのものでしょうか。話はそう単純ではありません。

理由1: 「外力あり」の設定である

今回の証明は、流体に滑らかな「外力」を加えるという条件つきです。

実は、問題を書いた数学者チャールズ・フェファーマン氏の公式文書では、崩壊を示す場合に外力を使うことが認められています。だから「ルール違反」ではありません。

ところが、多くの数学者が本当に知りたいのは「外力なし」で流れが壊れるかどうかです。NYUのトリスタン・バックマスター教授は「『外力あり』と聞いた時点で、赤信号が点灯した」と語っています。

理由2: クレイ研究所の「2年ルール」

クレイ数学研究所は、証明を直接受け付けません。査読つきの学術誌などに掲載されてから2年以上が経ち、数学界で広く受け入れられて初めて審査対象になります。

同研究所のマーティン・ブリッドソン所長は「評価は意図的に急がず、絶対的に厳密に行う」と述べました。同研究所のサイトでは、今もナビエ・ストークスは未解決のままです。

理由3: 人間による独立検証がこれから

証明はLeanで形式化され、GitHubの「openai/NavierStokesAndEuler」で公開されています。Leanは論理の飛躍がないかをコンピュータが1行ずつ確かめる仕組みなので、内部の整合性については信頼度が高いと言えます。

ただし、「Leanで書かれた命題」が「懸賞問題の文言」と本当に一致しているかは、人間の専門家が判断しなければなりません。ここが今後の焦点です。

なぜ数学者は反発しているのか

今回の発表は、科学的な議論より先に「経緯」をめぐる論争を呼びました。

NYUのバックマスター教授は、Anthropicのレベント・アルポーゲ氏と組んで、約1年かけて同じ方向のアプローチを研究してきました。8月中旬から急速に進み、8月22日には関連する証明を完成させていたとされています。

その直後、OpenAIの動きを聞きつけた2人は、9月7日の深夜に3本の論文を急いで公開しました。OpenAIの発表の前日です。

「同じ攻め方」への疑念

バックマスター教授は「OpenAIは私たちとまったく同じ攻め方を使った」と主張しています。自分たちが使っていたCodex（OpenAIのコーディングAI）の履歴が学習や参照に使われたのではないか、と疑問を投げかけました。

さらに、OpenAI側から「Anthropic所属のアルポーゲ氏を著者から外せば共同で名乗れる」と持ちかけられ、断ったところ「なぜキャリアを台無しにするのか」と脅すような発言があったとも述べています。

これに対しOpenAIのセバスチャン・ブベック氏は「事実に反し、扇動的だ」と全面否定しました。「彼らのプロンプトや証明は一切使っていない。公開されるまで見てもいない」と説明し、2人の成果に「祝福しかない」とも述べています。

テレンス・タオ氏の懸念

フィールズ賞受賞者のテレンス・タオ氏は、バックマスター氏らの成果を「驚くべき達成」と評価する一方で、AI企業が懸賞問題を「マーケティングの証明材料」として使うことを嘆きました。

「未解決問題を無差別に掘り尽くすことは、次世代の数学の技法・問題・人材が育つ生態系を破壊しかねない」というのがタオ氏の警告です。

3つの陣営を比較｜OpenAI・Anthropic系・従来の数学

今回は「AI vs 人間」ではなく、「AIを使う3つのやり方」の競争でした。違いを整理します。

陣営手法示した内容公開状況
OpenAI未公開の次世代モデル＋約1万体のエージェント、人間の介入は最小限3次元ナビエ・ストークス（外力あり）の特異点Lean証明をGitHubで公開、論文は査読前
バックマスター＆アルポーゲ人間の数学者がCodexやClaudeを助手として活用オイラー方程式など3つの関連方程式の特異点（外力あり）プレプリント3本＋Lean形式化を公開
従来の数学研究コルドバ氏とマルティネス・ゾロア氏らの解析的手法（2023年）特殊な外力つきオイラー方程式の特異点査読論文として確立

注目したいのは、3陣営が同じ土台の上に立っていることです。フェファーマン氏は「この物語の英雄はコルドバとマルティネス・ゾロアだ」と語っています。AIの成果も、人間が2021年から積み上げてきた解析的な技法が出発点でした。

もう1つの違いはコストです。ブラウン大学のハビエル・ゴメス＝セラーノ氏は「あの規模の計算資源を持てる数学者はごくわずかだ」と指摘しています。数億円の計算費用をかけられるかどうかが、研究の速度を左右する時代になりつつあります。

日本の研究者・企業にとっての意味

日本にとっても他人事ではありません。3つの視点で考えてみましょう。

数学研究の「速度」が変わる

ある大学の博士課程の学生を想像してみてください。1つの補題（証明の途中に使う小さな定理）を確かめるのに、これまでは数週間かかっていました。

今回の事例では、AIが数万通りの試行を並列で回し、人間が「筋の良い方向」を選ぶスタイルが機能しました。日本でもLeanを使った形式化コミュニティは育ちつつあり、この流れに乗れるかが問われます。

流体シミュレーションの実務は「すぐには」変わらない

自動車メーカーの空力設計担当者や、気象予報のエンジニアが心配する必要は今のところありません。

今回の証明は「特殊な外力を加えたときに数学的に壊れる例がある」というものです。日常の計算で使う近似解法が急に使えなくなるわけではありません。ただし長期的には、乱流（複雑に乱れた流れ）の理解が深まり、シミュレーション精度の向上につながる可能性があります。

「AIの研究成果」をどう扱うかというルール作り

日本の学会や大学は、AIが主導した証明の著者表記、計算資源の開示、クレジットの付け方について、ルールを整える必要が出てきます。今回の論争は、そのルールがないまま競争が始まるとどうなるかを示す先例と言えます。

よくある質問（FAQ）

Q1. OpenAIは賞金100万ドルを受け取ったのですか？

いいえ。クレイ数学研究所は「未解決」の扱いを変えていません。査読誌への掲載から2年以上経ち、数学界で広く受け入れられて初めて審査が始まります。

Q2. ナビエ・ストークス問題は完全に解けたのですか？

「外力あり」の設定で特異点の存在を示した、という段階です。多くの数学者が最も重視する「外力なし」のケースは残っています。ただし、テレンス・タオ氏は同じ手法で最後まで到達できる「明らかな障害は見当たらない」と述べています。

Q3. 証明の中身は誰でも見られますか？

Lean形式化はGitHubの「openai/NavierStokesAndEuler」で公開されており、Leanを扱える人なら誰でも機械検証できます。ただし、解析的な論文の全文公開と査読はこれからです。

Q4. どのAIモデルが使われたのですか？

エージェント群の中核は未公開の内部モデルで、OpenAIは「GPT-6 Astraより大幅に高性能」と説明しています。形式化の仕上げにはGPT-6 Astraも使われたと報じられています。一般ユーザーが同じモデルを使うことは現時点でできません。

Q5. AnthropicとOpenAIの対立はどうなりますか？

バックマスター氏の主張をOpenAIは否定しており、平行線です。第三者が両方の証明を読み比べ、手法がどこまで似ているかを判断するまで、決着はつかないと見られています。

まとめ

  • OpenAIは約1万体のAIエージェントを88時間動かし、ナビエ・ストークス方程式の特異点を証明したと発表した
  • 証明はLeanで機械検証済みだが、「外力あり」の設定であり、賞金約1.5億円の懸賞問題が正式に解けたわけではない
  • クレイ数学研究所は「2年ルール」に基づき、急がず厳密に評価する姿勢を示している
  • NYUとAnthropicの研究者は「手法を先取りされた」と反発し、OpenAIは全面否定している
  • 数億円規模の計算資源を投じるAI企業と、人間の数学者の関係をどう設計するかが今後の課題になる

数学の未解決問題がAIの「実力の証明」に使われる時代は、すでに始まっています。まずはGitHubで公開されたLean証明をのぞいてみて、「機械が検証した証明」がどんなものか、自分の目で確かめてみてください。

参考文献