2026年9月8日（米国時間）、OpenAIは自社の内部AIモデルと約1万体のAIエージェントを使い、数学における「ミレニアム懸賞問題」の一つ「ナビエ・ストークス方程式の存在と滑らかさ」を解決したと発表しました。何が起きたのか、そしてなぜニューヨーク大学とAnthropicの研究者との間で対立が生じているのかを、一次情報をもとに整理します。
結論：OpenAIが「AIエージェント1万体」で数学の超難問を解いたと発表
約1万体のAIエージェントを使い、数学における「ミレニアム懸賞問題」の一つである「ナビエ・ストークス方程式の存在と滑らかさ」問題を解決したと発表しました。ミレニアム懸賞問題は、米クレイ数学研究所が2000年に選定した7つの超難問で、1問につき100万ドルの懸賞金がかけられています。これまでに解かれたのは「ポアンカレ予想」の1問のみで、今回の発表が事実なら史上2問目の解決、しかも初めてAIが単独で導いた成果ということになります。
ただし、この発表は数学界に歓迎一色で受け止められたわけではありません。発表のわずか12時間前に、ニューヨーク大学の数学者と、競合Anthropicの研究者が共同で関連する成果を独自に発表しており、OpenAIがその研究内容を不適切に利用したのではないかという疑惑が浮上しています。
ミレニアム懸賞問題とナビエ・ストークス方程式とは何か
ミレニアム懸賞問題は、2000年にクレイ数学研究所が「21世紀に解決されるべき重要な未解決問題」として選んだ7つの数学の難問です。P対NP問題やリーマン予想などが含まれ、1問を解決すると100万ドルの懸賞金が贈られます。これまで正式に解決が認められたのは、2003年にグリゴリー・ペレルマンが証明した「ポアンカレ予想」のみでした。
今回の対象である「ナビエ・ストークス方程式の存在と滑らかさ」は、水や空気などの流体がどう流れるかを記述する方程式に関する問題です。ナビエ・ストークス方程式自体は19世紀半ばから天気予報や航空工学など幅広い分野で使われてきましたが、「3次元空間で境界のない状況において、この方程式の解が常に滑らかにふるまうのか、それともある瞬間に流速が無限大になる『特異点』が発生しうるのか」という基本的な問いには、150年以上答えが出ていませんでした。OpenAIは今回、この特異点が実際に発生しうることを示す証明を提示したとしています。
OpenAIが発表した内容の詳細
OpenAIのチーフリサーチオフィサーであるマーク・チェン氏は、自身のX（旧Twitter）で「We solved Navier-Stokes!（ナビエ・ストークスを解いた）」と投稿し、成果を報告しました。発表内容を時系列と規模で整理すると、次のようになります。
| 項目 | 内容 |
|---|---|
| 発表日 | 2026年9月8日（米国時間） |
| 使用モデル | 公開前の内部モデル（9月3日公開の「GPT-6 Astra」を大幅に上回る性能とされる） |
| エージェント規模（オイラー方程式） | 約100体が並行作業、約50時間で証明 |
| エージェント規模（ナビエ・ストークス方程式） | 約1万体が並行作業、約88時間で証明 |
| 形式検証 | 別のAIモデルが証明支援言語「Lean」で約17時間かけて検証 |
| エージェント間のやり取り | 合計約500万メッセージ |
| 推定計算コスト | 数百万ドル規模（OpenAI幹部セバスチャン・ブベック氏の見積もり） |
| 懸賞金の請求 | 請求しない方針 |
証明は165ページに及ぶ論文と、Lean言語による検証コードとして公開されています。OpenAIによれば、1万体規模のAIエージェントが自律的に攻略の切り口を見つけ、証明を組み立てたとしており、人間の数学者が主導したわけではないと説明しています。なお、同社は懸賞金の100万ドルを請求しない方針も明らかにしています。
なぜ論争になっているのか
発表のわずか12時間前、ニューヨーク大学の数学者トリスタン・バックマスター氏と、競合Anthropicに所属するレヴェント・アルポージェ氏が、関連する研究成果を発表していました。2人は約1年間、OpenAIやAnthropicの公開モデルを使いながら共同研究を進め、ナビエ・ストークス方程式に近い「オイラー方程式」について、Lean検証済みの証明を完成させていたのです。
バックマスター氏は自身が公開した声明文の中で、OpenAI側との間にあったやり取りを詳しく説明しています。同氏によれば、彼らの研究の噂を聞きつけたOpenAIの担当者から連絡があり、「(1)バックマスター氏らが先に成果を公開し、OpenAIが翌日にナビエ・ストークスの結果を発表する」か、「(2)Anthropic所属を理由にアルポージェ氏を著者から外した上でOpenAIと共同で論文を書く」かの二択を提示されたと主張しています。またバックマスター氏は、自分たちがOpenAIのモデルを使って行ったやり取りの記録にOpenAIのエージェントがアクセスしたか、あるいはその記録がモデルの学習に使われたかを尋ねたものの、明確な回答は得られなかったとも述べています。
OpenAI側は、エージェントや従業員がバックマスター氏らのやり取りの記録にアクセスした事実を否定しています。同社の研究者セバスチャン・ブベック氏は、バックマスター氏らの研究に関する噂を聞いたことがこの問題に取り組むきっかけになったと記者会見で説明しました。もっとも、両者の証明はいずれも、スペインの数学者ディエゴ・コルドバ氏とルイス・マルティネス＝ゾロア氏が開拓した独自の解析的手法（コンピューターに頼らず「層」を無限に積み重ねる手法）を土台にしており、専門家の間では「両チームが独立にこの手法にたどり着いた可能性はあるが、影響を受けた可能性も否定できない」との見方が出ています。
数学者・専門家の反応
この一件については、数学界からも慎重な声が上がっています。ナビエ・ストークス問題のクレイ数学研究所版の問題文を執筆したプリンストン大学のチャールズ・フェファーマン氏は、今回の成果の立役者はコルドバ氏とマルティネス＝ゾロア氏だと評価しています。クレイ数学研究所の所長も、発表を歓迎しつつ「評価はあくまで慎重に、厳格に行う」とコメントしており、同研究所は現時点でもナビエ・ストークス問題を「未解決」として扱っています。
また、UCLAの数学者テレンス・タオ氏は、AIによる性急な問題解決が数学研究の健全な発展を損ないかねないと警鐘を鳴らしています。数学の未解決問題は、解くこと自体よりも、解こうとする過程で人間が新しい手法やアイデアを生み出すことに価値があるとし、透明性を欠いたAIによる解決は数学全体にとってむしろマイナスになりかねないという趣旨の懸念を示しています。
この成果が意味すること
今回の一件は、真偽や功績の帰属を巡る論争を抜きにしても、AIが数学研究に与える影響の大きさを象徴する出来事といえます。バックマスター氏とアルポージェ氏が1年近くかけて到達した成果に対し、OpenAIは数日のうちに、1万体のAIエージェントと数百万ドル規模の計算資源を投じて、より広い範囲をカバーする証明にたどり着きました。人間の数学者が積み重ねてきた「試行錯誤の過程」が、AI企業の潤沢な計算資源によって一気に追い越されうる時代に入ったことを示しています。
一方で専門家からは、少数のAI企業だけが持つ大規模な計算資源に、数学研究の最先端が左右される状況への懸念も出ています。今回の成果がOpenAIの内部モデル（未公開）によるものである以上、検証や再現ができるのは限られた関係者のみという点も、今後の議論のポイントになりそうです。
FAQ
Q. ミレニアム懸賞問題は本当に解決したのですか。
A. OpenAIはLean言語による形式検証を経たと説明していますが、クレイ数学研究所は現時点でこの問題を「未解決」のままとしており、独立した数学者コミュニティによる検証はこれからです。バックマスター氏らとの間で研究成果の経緯を巡る論争も残っており、最終的な評価が固まるまでには時間がかかる見通しです。
Q. 使われたAIモデルはGPT-6 Astraですか。
A. いいえ。OpenAIは、2026年9月3日に公開されたGPT-6 Astraを大幅に上回る性能を持つ、未公開の内部モデルを使用したと説明しています。GPT-6 Astra自体の提供状況については、別記事「GPT-6 AstraがChatGPT Plusで見つからない理由」で詳しく解説しています。
Q. なぜAnthropicの研究者が関わっているのですか。
A. 今回の対立のもう一方の当事者であるレヴェント・アルポージェ氏はAnthropicの社員ですが、今回の研究はAnthropicの業務としてではなく、ニューヨーク大学のバックマスター氏との個人的な共同研究として行われたものです。
Q. OpenAIは懸賞金の100万ドルを受け取るのですか。
A. 受け取らない方針であると説明しています。同社はこの成果を、賞金目的ではなく自社モデルの能力を示す実例として位置づけています。
Q. この情報はいつの時点のものですか。
A. 本記事は2026年9月9日時点で、OpenAI関係者の発言、バックマスター氏の公開声明、および海外メディア（Quanta Magazine、MIT Technology Review等）の報道をもとに作成しています。検証や論争の経緯は今後変化する可能性があるため、最新情報は一次情報でご確認ください。
まとめ
OpenAIは2026年9月8日、非公開の内部AIモデルと約1万体のAIエージェントを用いて、ミレニアム懸賞問題の一つ「ナビエ・ストークス方程式の存在と滑らかさ」を解決したと発表しました。約88時間・500万メッセージという規模の自律的な取り組みは、AIによる数学研究の到達点を示す一方、発表のわずか12時間前に関連成果を公開していたニューヨーク大学とAnthropicの研究者との間で、研究成果の経緯を巡る対立も表面化しています。クレイ数学研究所による正式な検証はこれからであり、今回の証明が最終的にどう評価されるのか、そしてAI企業による研究資源の集中が数学界にどのような影響を与えるのかは、今後も注目していく必要がありそうです。
参考・引用元
- AI Has Solved One of Math’s $1 Million Millennium Prize Problems（Quanta Magazine）
- What OpenAI’s latest controversy tells us about the future of math（MIT Technology Review）
- OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’（Nature）
- OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表（ITmedia NEWS）
- OpenAI、100万ドル懸賞の数学「ミレニアム懸賞問題」解決と発表（日本経済新聞）