曝 OpenAI 内部系统给出 Navier–Stokes 奇点解析证明，Lean 形式化验证
Dr_Singularity · x · 2026-09-09
据 DrSingularity 转述，OpenAI 宣称已解决千禧年大奖难题之一的 Navier–Stokes 方程问题：其内部 AI 系统找到一个解析证明，表明光滑三维流体流动可在有限时间内发展出奇点，即从光滑初始条件出发速度也可能爆炸。该结果据称已在 Lean 定理证明器中完成形式化验证。帖子称证明由一个显著强于 GPT-6 Astra 的系统发现（原文未附官方链接，消息未经证实）。若属实，这是 AI 在数学研究领域的里程碑级进展。
所属事件:OpenAI 官宣万智能体破解纳维-斯托克斯难题，陷成果归属争议(137 条相关)→
「模型」频道最新
- OpenAI 宣称攻克纳维-斯托克斯难题,学界公开质疑真实性 — wiredmagazine · 2026-09-09
- Axios:OpenAI 用了比 Astra 更强的模型求解纳维-斯托克斯 — 141_1337 · 2026-09-09
- Dwarkesh 评 MagicAILabs:RSI 时代 AI 研究员算力瓶颈或比想象小 — AccBalanced · 2026-09-09
- OpenAI 被传解千禧年大奖 Navier-Stokes,数学家多年 groundwork 受关注 — LucaAmb · 2026-09-09
- 「一半开放难题已被直接解决」：博主感叹前沿模型解题速度 — BorisMPower · 2026-09-09
- 实测便宜模型接 OpenRouter:GLM、DeepSeek 判断力远逊 Claude — scottyLogJobs · 2026-09-09