詳細を読む
OpenAIは2026年9月8日、流体の運動を記述するナビエ・ストークス方程式の「存在と滑らかさ」問題を、未公開の高性能モデルと約1万のAIエージェントで解いたと発表しました。約90年間未解決だったミレニアム懸賞問題に対し、滑らかな初期状態から有限時間で速度が発散する特異点が生じ得ることを示す解析的証明とLean形式化を公開しました。
同社は9月1日、他の研究者が難問を解いたとのうわさを契機に複数の問題へエージェント群を投入しました。ナビエ・ストークス問題では約88時間で解答に到達し、GPT-6 AstraによるLeanでの形式化と検証にさらに17時間を費やしたとしています。
証明は、有限のエネルギーを保つ渦が内側へ縮みながら加速し、滑らかな外力の下でも速度が有限時間で無限大になる構成です。対象の方程式は航空機設計や気象予測、血流解析にも使われますが、Leanの検証だけで数学界の承認が確定するわけではなく、定式化や仮定を含む外部精査が必要です。
一方、ニューヨーク大学のトリスタン・バックマスター教授とAnthropic所属のレベント・アルペゲ氏は、CodexとClaudeを使って関連研究を進めていました。バックマスター教授は非公開のCodexセッションがモデル改善に影響した可能性を問い、OpenAIは個別データへのアクセスを否定しつつ、利用から得た匿名化データが改善に寄与した可能性は排除できないと説明しています。
この発表は、AIの能力を単体モデルではなく、膨大な計算資源、エージェント連携、形式検証、人間の査読を含む研究工程全体で測る局面を示します。企業は高価値の研究へ大規模AIを投入する際、費用対成果に加え、権限管理や監視、学習利用の可否、保存期間、ゼロデータ保持を別々の統制項目として確認する必要があります。