OpenAI：官网动态（RSS · 排除企业/客户案例）·· 2026-09-08精选AI 评分86
OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
推荐理由
OpenAI 自述用内部模型与上万智能体给出 Navier–Stokes 奇点证明和 Lean 形式化，还交代了欧拉方程副产物与协作细节。
整理与数据来源：AIHOT
来源：OpenAI：官网动态（RSS · 排除企业/客户案例） · openai.com