OpenAIのモデル、ナビエ–ストークス方程式のミレニアム問題の解を提示

OpenAIは2026年9月8日、GPT-6 Astraより高性能な社内システムが、ナビエ–ストークス方程式の解の存在と滑らかさに関するミレニアム懸賞問題の解を導いたと発表した。初期に滑らかで静止している流体が、滑らかな外力の下でエネルギーが有限のまま有限時間で特異点を生じうることを示し、クレイ研究所の主張CとDを確立するという。同社は、約88時間のマルチエージェント探索と17時間の形式化を経て、解説文とGPT-6 Astraで検証したLeanの形式化を公開し、ミレニアム懸賞金を請求するつもりはないとしている。OpenAIは、レヴェント・アルペゲ氏とトリスタン・バックマスター氏による強制オイラー方程式に関する同時期の研究に触れ、その結果についての先取権を認めたうえで、今回の公開を消費者向け製品の発表ではなく、AI研究のペースを示す証拠と位置づけている。

出典: OpenAI

AIの支援により翻訳しました。