OpenAI宣称其未发布模型在9月5日得出纳维-斯托克斯存在性与光滑性问题的解，并经GPT-6 Astra完成Lean形式化验证

先了解这件事

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