OpenAI 用 AI 证明流体方程奇点存在
推荐指数 78.0 NO. 002 · 2026.09.09
发布2026/09/08
为什么值得看
OpenAI 内部系统完成了纳维-斯托克斯方程光滑解爆破的证明，并用 Lean 形式化验证。若经数学界确认，将是首个被 AI 解决的千禧年难题，直接冲击流体力学数值模拟和湍流预测的基础假设。
编辑判断
这个证明如果成立，意味着三维流体运动会在有限时间内产生无限速度，直接推翻工程界长期依赖的光滑解假设。CFD 仿真、天气预报、飞机设计这些依赖数值稳定性的领域可能需要重新评估模型边界。
Lean 形式化是聪明的一步——传统数学证明审稿周期以年计，形式化验证可以让社区快速检查每一步推导，也暗示 OpenAI 把 AI 用于数学证明的野心不止于此。
值得关注两个后续：一是陶哲轩等分析学家是否认可证明框架，二是 OpenAI 是否会公开用于生成证明的模型细节。这关系到这是'AI 辅助人类数学家'还是'AI 自主发现'的定性。