OpenAI、ナビエ・ストークス方程式の解を提示しLean形式化証明を公開

OpenAIは、数学の難問「ナビエ・ストークス方程式の存在と滑らかさ」に対する解答を提示したと発表した。滑らかな外力下で、初期静止かつ滑らかな3次元非圧縮性流体が有限時間内に特異点を形成し、全過程でエネルギーが有限に保たれることを示した。同社は論文とLean形式化証明を公開したが、学界による独立した検証が必要としている。本プロジェクトにはGPT-6 Astraを上回る内部モデルが使用され、約1万個の並列エージェントが約88時間かけて証明を生成した。なお、OpenAIはミレニアム懸賞金への応募は予定していない。