NS方程的争议持续了一个多月，OpenAI对最新一轮风波的回应刚刚落地。公司在给《科学美国人》的声明中坚持：其模型"不可能看到巴克马斯特的数据"，继续否认学术掠夺指控。知乎
真正改变事件性质的是另一项发现。多个专家组花了一个多月逐行核验这份160余页的证明后，结论趋于一致：它与OpenAI发布时反复宣称的"西班牙路线"的相似之处仅仅停留在表面，深入细节就会是另一种方法。换句话说，发布当时OpenAI自己也没理解模型的证明，一个多月过去，大家还是没搞清楚这证明是怎么来的。对普通读者来说，"OpenAI攻克千禧年难题"因此变成一个连业内都还在核验的研究主张——辨别AI科研成果真假，第一次成了每个人都要直面的问题。知乎知乎
它到底证明了什么？"攻克千禧难题"的说法少了一个限定
NS（纳维–斯托克斯）方程是描述流体运动的基本方程，其无外力情形下解会不会"自己爆掉"，悬置了几十年。OpenAI在9月8日发布的版本是：约1万个内部大模型智能体并行工作、约88小时算力和约1300亿token，产出一份160余页论文和Lean形式化代码，宣称"解决"了NS问题。但数学圈随后反复澄清成果的精确范围：它证明的是施加一个精心构造、但始终保持平滑的外力之后，流体会在有限时间内形成奇点——用的正是问题官方表述中允许引入外力的空间。换句话说，大家通常讨论的无外力纳维–斯托克斯正则性问题，还没有大结局。这是辨别的第一道门槛：“解决了千禧年难题"和"解决了带外力条件的一个变体”，听起来只差半句，在学术上是两回事。知乎微博
一个多月，怎么从"大新闻"变成"罗生门"
冲突在发布前后已经公开化。纽约大学数学家Tristan Buckmaster称，他与合作者、现任职于Anthropic的Levent Alpöge沿西班牙数学搭档Córdoba与Martínez-Zoroa的路线推进了近一年，未发表草稿曾上传Codex做辅助演算；OpenAI则在得知两人的重大进展后，调动全部资源抢先发布了成果。面对数学家联名抗议，OpenAI于9月11日宣布不再赞助加州理工学院的"数学黑客马拉松"。知乎微博
抵制也在组织化。9月，陶哲轩等25名数学家发布《人工智能在数学中的严重错位》宣言，预警AI介入基础数学研究的风险。会员约800人的"人类数学协会"更直接敦促数学家停止与商业AI公司合作。36氪
OpenAI对压力的回应是更大规模地发布。10月，它一次性放出722份机器生成的数学手稿、整理出372个成果组，其中一些触及现代数学的核心前沿。但核验速度跟不上发布速度：发布第二天，OpenAI撤下3篇手稿——一处符号错误使一个核心论证失效，并连带影响两篇依赖它的论文；另外14篇被修订，13篇更新了引用关系。36氪36氪
风波在本周进入新阶段。据《科学美国人》报道，Buckmaster进一步声称，OpenAI曾试图以贿赂和威胁阻止他公开暗示存在不当行为，而他最终还是把指控说了出来。知乎
至于"思路是否被偷"，一个月后依然没有可核验的答案：群体推理的黑箱特性意味着模型的确切过程可能永远无法还原，普林斯顿高等研究院的数学家德·莱利斯对此甚至直言，看不出这个问题有什么事实性的解决方案。知乎
辨别AI科研成果，这场争议给出五个可复用的信号
第一，先看"主张"的范围，再看结论。 任何"攻克"“解决"式标题，先回到原始表述核对：是原问题、附加条件的变体，还是"向解决迈了一步”？本事件里，"千禧年难题被解决"的第一层歧义就藏在有无外力这个限定里。
第二，把核验分三层。 发布方自检（Lean等形式化工具）是第一层，独立专家逐行阅读是第二层，公开社区复现是第三层。形式化工具能检查推导是否合乎逻辑规则，但无法担保被形式化的命题就是原始问题本身。社区核验的初步统计也显示：所谓722篇论文，只有162篇论文的主要结果经过了计算机验证。知乎36氪
第三，盯状态变化，而不是盯发布会。 撤回、修订、更新引用，比"重磅官宣"更接近真实进度——OpenAI在公开仓库的README里自己就承认，一些未形式化的结果可能存在问题、将尽快修复。一条仍在被修订的成果，应按"验证中"对待，而不是当作定论。36氪
第四，转载量不是证据量，署名也要回查。 一份声明全网刷屏仍是一项证据。本次被广泛传播的"陶哲轩领衔抵制"，实际出自他个人博客对"人类数学协会"声明的转载——陶哲轩本人甚至不在该协会会员名单里。回看一手来源，是普通人不费成本的核验动作。36氪
第五，"没人读得懂"不等于错，也不等于对。 麻省理工学院工程教育副院长Justin Solomon在播客里坦言，这份证明他读到前两页就卡住了；主持人问它是否正确，他沉默了一下，回答大概是对的。陶哲轩把这种状态称为"证明消化不良"：答案的生产已经工业化，而理解和验证没有同步降价，对"只有AI看得懂"的结果，暂缓判断比站队更稳妥。36氪36氪
最后，看发布方的激励结构。就在OpenAI宣布NS成果前几天，Anthropic员工刚利用模型找到了"雅可比猜想"的反例，两家公司的竞赛正处在最热的阶段。公司发布不等同于学术共识——不是怀疑一切，而是给厂商口径自动降一档权重。36氪
截至发稿，NS无外力正则性问题仍然悬置，722份手稿的逐行阅读才刚刚开始，而这份160余页证明何时得到独立、完整的核验结论，将是检验"AI科研成果"成色的下一个观察点。对普通人来说，这场争议留下的不是焦虑，而是一套可复用的反应：看到"AI重大突破"，先问主张的准确范围、核验进行到了哪一层、成果的状态改过几次。这三个问题没有答案之前，一切"改变人类历史"，都只是草稿。
