OpenAI称AI证明纳维-斯托克斯奇点 数学界质疑证明有效性

2026年9月8日，OpenAI宣布其内部AI系统证明了三维不可压缩纳维-斯托克斯方程可在有限时间内形成奇点——这是七大千禧年数学难题之一。公司同步公开了论文与Lean形式化证明，并称此次证明耗时约88小时、动用了约1万个并发智能体、产生约270万条消息与约1300亿输出token，算力成本达数百万美元量级，同时明确放弃100万美元奖金。

争议首先出现在题目边界上。OpenAI解决的是费弗曼官方表述中“带光滑外力”的情形，并未关闭“外力为零”的情形。《科学美国人》据此质疑其是否“解错了题”；其论文初版也未引用科尔多瓦与马丁内斯-索罗阿关于构造外力触发爆破的既有路径，经巴克马斯特公开批评后才在166页更新版中补上引用，方法原创性与透明度之争持续。

验证边界同样存疑。Lean只能机械核验命题与证明是否匹配，无法裁定是否正好击中千禧年问题的边界，也无法裁决研究路线的归属。部分数学家形容论文以“地毯式轰炸”方式倾泻而“难以审阅”。陶哲轩则警告，把纳维-斯托克斯这类富有生产力的问题变成模型进展的“病毒式广告”，会让好问题沦为稀缺资源。

截至发稿，独立同行评审尚未开展，克雷数学研究所也未作认定。无论结论最终如何，这次事件都把“AI能否承担严肃数学发现”的命题，第一次推到了主流数学界的显微镜下。