OpenAI 宣布以内部 AI 系统给出 Navier-Stokes 千禧年问题解答

OpenAI 宣布其内部 AI 系统给出 Navier-Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。

AI HOT 详情：https://aihot.news/items/cmtszna9e04isro5woti0ixg6

原文链接：https://openai.com/index/navier-stokes-solution