OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
论文
·OpenAI：官网动态（RSS · 排除企业/客户案例）
OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
— On the Navier–Stokes Millennium Prize Problem
— On the Navier–Stokes Millennium Prize Problem