2026年9月9日凌晨（北京时间），OpenAI 向数学界扔下一枚深水炸弹：一个未公开的内部前沿模型调动约1万个自主 AI 智能体、工作约88小时，在三维纳维–斯托克斯方程中找到了“有限时间出现奇点”的候选反例，随后公开手稿并附上 Lean 形式化核验。 一个月过去，围绕“OpenAI 攻克 NS 方程”的争议不但没有平息，反而越挖越深：问题不再是 AI 有没有算出东西，而是算出的是不是悬赏清单上的那道题、给出的解释和机器检验的是不是同一件事、以及有没有人真正看懂它。知乎
解决了什么：一个“带外力”的反例，不是流体力学的终极答案
纳维–斯托克斯方程描述水、空气这些流体怎么运动，它的三维情形是否总存在光滑解，是克雷数学研究所悬赏百万美元的七大千禧年难题之一。 很多人以为这道题只问“会不会永远光滑”，其实官方命题给了多条可选路径：A、B 要求证明无外力时解整体光滑，C、D 则允许构造满足规定条件的光滑外力、证明全局光滑解不存在。OpenAI 走的正是 C、D 这条反例路线：对任意正黏性系数，选取空间、时间上均光滑且紧支撑的外力，让流体从静止出发，在有限时间出现无界速度，而动能始终一致有界。 关键在于外力本身保持光滑、能量不失控，奇点却出现在解里——这是数学上严格的构造，不是“往方程里塞一个无限大的力”的取巧。但要划清边界：这是一个允许外力情形下的反例，不能由此推出无外力的三维流动必然爆破，湍流、数值模拟和另一半千禧年命题都没有被顺手解决。今日头条知乎
欧洲数学会在声明里给出了当时学界的典型态度：承认 OpenAI 是站在科尔多瓦、马丁内斯-索罗亚、郑凡等无数前辈的肩膀上完成的工作，同时直言“成果署名、学术功劳归属等问题亟待厘清”，尤其这次用的是不向公众开放的内部模型。知乎
第一层争议：归因——谁先走到门口
争议发酵得这么快，首先是时间点太敏感。9月8日官宣的前一天，纽约大学数学家特里斯坦·巴克马斯特刚刚公布与合作者莱旺·阿尔波热在同一问题上的进展；巴克马斯特质疑 OpenAI 宣布的时机，OpenAI 则否认攻关期间看过两人尚未发表的工作。 更尖锐的怀疑在社区流传：有人怀疑 OpenAI 能利用为反例提供核心引理的研究者本地 Codex 项目数据——不过提出这一怀疑的讨论者自己也承认没仔细核验，指控至今未获证实。 这些疑问没有进入任何正式调查，但它们足以说明：归因，早已是这场争议的第一战场。今日头条知乎
对抗随之公开化：9月11日，陶哲轩、邓煜等25位菲尔兹奖得主联合发起并签署《人工智能在推进数学研究中的严重目标错位》声明，同一周 OpenAI 退出了加州理工“数学黑客马拉松”的赞助。 OpenAI 没有收手：9月21日又宣布一款自8月28日开始训练的内部模型已解决多个领域百余道悬置难题，并引入数学顾问组回应质疑。 据《商业内幕》报道，OpenAI 当时“试图解决的最新数学难题，是一群愤怒的数学家”。今日头条今日头条微博
第二层争议：验证——Lean 过了，为什么还是吵
10月6日（美东时间），OpenAI 把 722 篇手稿一次性推上 GitHub，归入 372 个难题家族，署名只有“OpenAI”，作者是一个连名字都没公开的内部模型。 发布第二天就撤下3篇：一处符号错误使核心论证失效并连带两篇依赖它的论文，另有14篇修订、13篇更新引用。 仓库 README 也承认一些未形式化的结果可能存在问题、将尽快修复。随后“人类数学协会”（AHM）发布声明“敦促数学家们停止与OpenAI的合作”，三百多位数学家加入抵制。今日头条36氪微博
发布侧的量能与抵制侧的声浪，都在说明同一件事：AI 生产证明的速度，已经远远跑在人类验证和理解的速度前面。
真正动摇“AI 成果可信度”的，是10月9日挂上 arXiv 的预印本《纳维-斯托克斯迷失在翻译中》，三位数学家矛头直指 OpenAI 的 NS 证明。 这篇来自剑桥、伦敦国王学院团队的论文记录了 NS 衍生问题解答中至少两处不一致：自然语言证明与背后 Lean 代码对不上；他们指出，Lean 检验通过只能说明代码自洽，不能说明代码忠实表达了原来的证明——就像翻译小说，英文语法完美，情节却可能被悄悄改掉。 社区精读给出的例子很具体：自然语言证明只需要额外 4 阶导数就能得到一个估计，对应的 Lean 代码却用了额外 5 阶导数的条件——假设更强，实际证出的结论反而更弱。 自动形式化这位“终极裁判”的公信力，正是被“翻译”这一步拷问。今日头条今日头条知乎
另一派则提醒别把结论一起推翻：形式化命题是复制人类早已写好并审核过的猜想陈述，Lean 内核加独立类型检查器保证推导成立，不一致只出现在中间步骤，最终结论两边仍是同一个。 两派合起来才是完整的图景：机器检验保证的是“形式化命题被证明了”，而“这个命题是不是原题的答案、证明思路到底是什么”这两步，目前仍要人来看。知乎
第三层争议：理解——没人看得懂，包括 OpenAI 自己
最要命的更新出现在10月13日前后：发布时 OpenAI 反复解释模型遵循“Spanish program”——西班牙数学家迭戈·科尔多瓦、路易斯·马丁内斯-索罗亚等人提出的爆破研究路线——而一个月来的逐段比对发现，核心构造根本没按这条路走，更像开出了一条新路线，至今没人说得清它怎么来的。 读不懂的不只是围观者：彭博《Odd Lots》播客里，麻省理工工程教育副院长贾斯汀·所罗门翻了两页这份证明后承认，那份证明读起来非常吓人，全是密密麻麻的技术细节、极度反直觉的不等式和极端的界限取值。 哈佛数学教授梅兰妮·伍德的判断更直接：发布那一刻，人类并没有真正理解这些结果，而真正的工作才刚刚开始。 当“知其然”与“知其所以然”被拆成两件事，数学界对这套生产方式的追问就必然走向规则本身。知乎36氪今日头条
规则层面的追问也在收紧：由普林斯顿高等研究院主办、九位知名研究者组成的数学与人工智能咨询小组（AGMAI）在九月底发布了针对前沿实验室解决数学问题的指导方针，而据 TechCrunch 报道，OpenAI 这次并未全部照办——719 份手稿中只有 10 份公开了模型思维链，仍有 42% 的证明没有形式化处理，也没有提供把自然语言与形式化成果关联起来的元数据。 陶哲轩的批评是，这些问题正被对更广泛领域本身毫无兴趣的 AI 操作者自主解决——一旦目标“解决”，他们既无法回答后续问题，也无法作学术报告、与该领域的人交流。今日头条
验证的时钟：现在该看什么
初步的独立核验已经出现：OpenAI 开发者社区里，有人重新运行了准黎曼结果的 Lean 检查并报告通过，另一人把矩阵乘法结果推广到更一般的域也通过了验证。 至于那100万美元——按克雷数学研究所的规则，还得经过符合要求的发表、发表后至少两年以及数学界的广泛接受，官宣那天并不是认定日。 独立复现刚刚开始，待审的手稿却已在成百上千地排队。36氪知乎
所以，“OpenAI 攻克 NS 方程引争议”这个问题眼下最准确的回答是：数学上确实立住了一个被机器检验的反例构造，但它没有终结争议，反而把争议升级成了三个更基本的问题——命题忠实性、成果归因和人类可理解性。接下来值得盯住的信号有三个：OpenAI 是否给出与形式化一致的自然语言解释；这722份手稿能否经受与其他数学论文同等的同行评审；以及克雷奖金的两年时钟，到底有没有为这个结果开始走。
