OpenAIは、内部AIシステムが流体運動のナヴィエ・ストークス方程式の力学が有限時間で特異点を発展させることを示す証明を生み出したと報告しています。この解はGPT-6 Astraよりも大幅に高性能なモデルで駆動されるマルチエージェントシステムによって導出され、ミレニアム懸賞問題の定式化における命題「C」を確立しました。
このシステムは約10,000の並列エージェントを利用し、270万通のメッセージを送信し、問題を約88時間で解決するために約1300億個の出力トークンを使用しました。証明は、流体速度が無限大に成長しながらエネルギーは有限のままとなる渦構造を特定し、粘性があるにもかかわらず連続体近似の崩壊を示しています。
OpenAIは、AI進歩のペースと次期フロンティアモデルの能力について世界に知らせるため、解析的証明の解説とLean形式化の両方を公開しました。