OpenAIはナビエ-ストークス方程式の有限時間特異点の存在を証明しました

OpenAIは9月8日に、内部の多エージェントシステムが三次元不可圧縮ナビエ-ストークス方程式が有限時間内に特異点を形成することを成功裏に証明したと発表しました。 この証明は、OpenAI内部のGPT-6 Astraよりも能力が高いモデルによって駆動され、9月5日に初期結果を得た後、17時間のLean形式化検証を経て行われました。

OpenAIは、この証明が滑らかな外力の作用下で静止流体が内向きに螺旋を描き、引き伸ばされる渦構造を進化させることを示しており、そのエネルギーは有限に保たれますが、速度は無限に増加することを示していると述べています。これは千年賞問題の「C」と「D」の状況に対応しています。 解決プロセス全体では、約1万の並行エージェントが動員され、約270万件のメッセージが送信され、約1300億の出力トークンが消費されました。 OpenAIは、この試みがAnthropicの従業員Levent AlpögeとNYUの教授Tristan Buckmasterの並行作業に関する噂に触発されたことを認めており、両者がオイラー方程式の正則性問題に関して異なる結果を示したと述べています。OpenAIは外力のない場合を証明し、対する側は外力のある場合を証明しました。