OpenAI 宣布攻克千禧年难题，清华姚班传奇陈立杰：不可思议的时代
2026.09.09 · 事件 · AI 事件 · 媒体报道
OpenAI 内部 AI 系统宣称解决纳维尔斯托克斯方程存在性与光滑性问题，并公开论文和 Lean 证明。
OpenAI 宣布其内部 AI 系统完成了对纳维尔斯托克斯方程存在性与光滑性问题的解答，并公开论文和 Lean 形式化证明。该系统由约 1 万个 Agent 协作，耗时约 88 小时，消耗约 1300 亿输出 Token。若获认可，意味着 AI 开始参与解决顶尖数学难题。
- OpenAI 宣称解决纳维尔斯托克斯方程问题
- 约 1 万个 Agent 协作，耗时 88 小时
- 消耗约 1300 亿输出 Token
- 公开论文和 Lean 形式化证明
- 陈立杰称发展速度超预期
为什么值得看
AI 首次宣称攻克千禧年难题，标志 AI 参与基础科学研究的转折点。
适合谁关注
关注 AI 前沿、数学研究、流体力学及学术伦理的读者。