OpenAI突破纳维-斯托克斯方程之后，物理学中发生了什么变化
2026.10.07 · 事件 · AI 事件 · 媒体报道
AI 生成解析与 Lean 形式化证明，构造出三维不可压缩流体的有限时间奇点。
9 月 8 日，OpenAI 公布由内部 AI 系统产生的解析证明和 Lean 形式化证明，给出三维纳维-斯托克斯方程有限时间形成奇点的构造。9 月 11 日，Clay 数学研究所表示该工作「看起来已经解决」这一千禧年难题，但论文仍需评审和长期检验，奖金尚未宣布归属。
- OpenAI 用内部 AI 系统产出解析证明与 Lean 形式化证明
- 构造中旋涡向内旋转并被拉细，有限时间内形成奇点
- 应用数学家估算空气中奇点处旋涡核心宽约 70 纳米
- Clay 称「看起来已经解决」，但奖金归属未宣布
- 真实物理系统在分子尺度需改用 Boltzmann 方程等描述
为什么值得看
千禧年难题首次出现 AI 参与的奇点构造，值得关注其边界。
适合谁关注
关注数学、流体力学与 AI for Science 的读者。