公開：2026年9月9日, 最終更新：2026年9月13日
関連記事：OpenAIがナビエ・ストークス問題を解決、データ利用疑惑で研究者と対立
30秒サマリー
- OpenAIが2026年9月8日、未解決数学難題「ナビエ・ストークス問題」を内部AIシステムで解いたと発表
- GPT-6 Astraより大幅に高性能な内部モデルが約88時間、最大1万エージェント並列で証明を導出
- Lean言語による形式的検証も完了。賞金請求は行わないとOpenAIは明言
何が起きたか
OpenAIは2026年9月8日、数学の七大未解決問題「ミレニアム懸賞問題」のひとつであるナビエ・ストークス方程式の存在と滑らかさ問題を、内部AIシステムが解いたとする論文と形式的証明をGitHub上のLeanコードとともに公開した。
証明の内容は「滑らかに静止した状態から出発した流体が、有限時間内に特異点（速度が無限大に発散する状態）を形成しうる」というもので、公式問題定義の選択肢C・Dを成立させる否定的解答にあたる。解の構造は渦巻き状に内側へ螺旋しながら引き伸ばされる渦（ボルテックス）で、エネルギーは有限に保たれたまま速度が発散する点が技術的要点だとされている。
証明に用いたのは、現時点でGPT-6 Astraを「大幅に上回る」とOpenAIが説明する未公開の内部モデル。同モデルのトレーニングは2026年8月28日に開始されており、訓練は継続中だという。マルチエージェントシステムとして最大約1万エージェントを並列稼働させ、9月1日の着手から約88時間後の9月5日に解に到達。その後17時間をかけてGPT-6 AstraによるLean形式検証を完了した。全体で約270万件のメッセージと約1300億出力トークンを消費したと原文は記載している。
OpenAIはまた、今回の取り組み中に「オイラー方程式の正則性問題（外力なし版）」もエージェントが独立に解いたことを明らかにした。オイラー問題については、NYU数学教授のTristan Buckmaster氏とAnthropicのLevent Alpöge氏が外力あり版を独自に解いていたことが後に判明し、両者の先行研究を認定・祝辞を述べたと原文は説明している。OpenAIは今回の結果についてミレニアム賞の請求は行わないとしている。
原典ハイライト
原文より：「A major goal of our work is to empower scientists to advance research and technology that benefits all of humanity. To solve the Navier–Stokes problem, we used an internal model that is significantly more capable than GPT-6 Astra. We believe it is important to inform the world about the pace of AI progress and what to expect from upcoming models.」——OpenAIは今回の発表を、特定の成果の主張よりも、AI進歩の速度を社会に伝えることが主目的のひとつだと位置づけている。
出典: openai.com
So What?（なぜ重要か）
ミレニアム懸賞問題は1934年以来約90年間未解決だった最高難度の数学問題群のひとつ。それをGPT-6 Astraより高性能な未公開モデルが88時間で解いたという事実は、AIの数学的推論能力が人間の最前線研究者レベルに達した可能性を示す象徴的事例となる。ただし証明の正当性は学術コミュニティによる独立検証が今後の焦点であり、Lean形式化はその一助となる。また、OpenAIがモデルを非公開のまま重大な知的成果を主張する形式は、AI研究の透明性・ガバナンスをめぐる新たな議論を呼ぶとみられる。
日本企業への示唆
日本の製造業・航空・気象・医療など流体シミュレーションを基盤とする産業にとって、ナビエ・ストークス方程式の理論的限界が明確になることは長期的に数値計算手法の再設計を迫る可能性がある。より直近の経営課題としては、「GPT-6 Astraを大幅に上回る」未公開モデルが存在し、数ヶ月以内に市場投入される可能性を示唆している点が重要だ。AI調達・活用戦略の更新サイクルをさらに短縮し、最新モデルへの評価体制を社内に常設することが現実的な備えとなる。また、マルチエージェントによる大規模並列リサーチの有効性が示された今、R&D部門でのAIエージェント活用の実証実験を加速する好機といえる。
背景・経緯
ナビエ・ストークス方程式は19世紀にNavier・Stokesが定式化した流体力学の基本方程式で、航空機設計・天気予報・血流解析などに広く用いられる。1934年にLerayが一般化された意味での解の存在を証明したものの、滑らかな解が常に存在するかは未解決のままだった。2000年にクレイ数学研究所がミレニアム懸賞問題（各100万ドル）に指定。OpenAIは今回、受賞申請は行わないと表明している。並行して、AnthropicのLevent Alpöge氏とNYUのTristan Buckmaster氏が「外力あり版オイラー方程式」の独立した解を持っていたことも原文で言及されており、同時期に複数の研究グループが近接領域で成果を出したことが示されている。
