OpenAIは2026年9月8日、約90年間未解決のままとなっているミレニアム懸賞問題の一つ、ナビエ–ストークス問題（Navier-Stokes）の解決に至ったと発表した。しかし、この発表は数学界では最終的な解決として扱われていない。同社はいまだ、研究者が独立して検証できる形で証明の詳細を公開しておらず、結果に至った経緯に関しても発表のタイミングが疑問を呼んでいる。
流体と気体の運動に関する問題
ナビエ–ストークス方程式は、水、空気、血液を含む流体と気体の運動を記述する。数学上の課題は、これらの方程式が常に滑らかな解を持つことを保証するのか、それとも運動が極めて乱れて数学的な解が崩壊する状態に達する可能性があるのかを明らかにすることにある。
クレイ数学研究所はこの問題を「ミレニアム懸賞問題」と呼ばれる7つの問題の一つに選び、認められた科学的基準に従って解決された問題ごとに100万ドルの賞金を設定した。そのため、テクノロジー企業が証明の可能性を発表しただけでは、問題が解決したことにはならない。証明を公開し、独立した専門家による検証を受ける必要がある。
社内モデルと1万のエージェント
OpenAIは、GPT-6 Astraモデルを上回る能力を持つ社内AIモデルを使い、エージェント群が証明を生成したと述べた。GPT-6 Astraは同社が最近発表したモデルである。同社によれば、約1万のAIエージェントを同時に稼働させ、使用したモデルの訓練は8月28日に開始された。また、そのモデルはベンチマークテスト、数学のテストを含め、前例のない性能を示したという。
同社は、その成果を数学における重要なブレークスルーと表現した一方、100万ドルの賞金を請求するつもりはないと確認した。
タイミングと研究データをめぐる論争
論争が拡大したのは、ニューヨーク大学の数学者トリスタン・バックマイスターが、OpenAIの発表の1日前に、Anthropicの研究者レベント・アルボーゲと共同で、方程式に関連する研究結果を公表したことが明らかになった後だった。バックマイスターは、同社が2人の研究者の進展を把握していたことを知った後、OpenAIに連絡したと述べた。また、同社がOpenAIのCodexとAnthropicのClaudeを使ってアルボーゲと取り組んでいた研究経路を通じて証明に到達したと述べた。
これを受け、OpenAIがCodexのセッションやプロジェクトのデータにアクセスできたのかという疑問が生じた。記事によれば、同社はモデルがユーザーデータを閲覧していないと述べたが、バックマイスターによると、訓練にそのデータが使われた可能性について具体的に尋ねられた際、明確な回答を示さなかった。
一方、OpenAIは、問題の解決に特定のユーザーの具体的なデータを使用したことを否定した。ただし、製品の利用から生じた出所を特定できないデータがモデルの改善に寄与した可能性を排除することはできないと述べた。また、同社の技術スタッフの一人であるセバスチャン・ブーベックは、同社が公表前にバックマイスターとアルボーゲの研究を知っていたことを否定し、OpenAIの証明は、証明された数学的結果を含め、2人の研究とは大きく異なると述べた。
現時点で実際に証明されていることは何か
この発表は、先進的なモデルが計算や既知の知識の言い換えを超える数学的推論を生み出す能力を試す重要なものだ。しかし、この主張の科学的価値は、証明の公開、再検証の可能性、そしてそれがミレニアム懸賞問題の条件を満たすという研究者間の合意にかかっている。それが実現するまでは、OpenAIが発表したものを、同社が到達したと主張する証明と表現するのが正確であり、ナビエ–ストークス問題の最終的に証明された解決策と呼ぶべきではない。