#Navier-Stokes

OpenAI、1 万エージェントで Navier–Stokes 問題の証明を 88 時間で導出と発表

OpenAI は 9 月 8 日、内部の AI モデルが約 1 万の並列エージェントを協調させ、Clay 数学研究所のミレニアム懸賞問題 Navier–Stokes 方程式の有限時間特異点の証明を 88 時間で導いたと発表しました。証明の Lean 形式化も同時公開されていますが、査読は未実施です。