9月8日早上，两件事同时炸了出来。
一件是OpenAI官宣：内部下一代模型调度约1万个AI智能体、连续运行88小时，攻克了克雷数学研究所七大"千禧年大奖难题"之一——纳维-斯托克斯存在性与光滑性问题，并公开了165页证明。36氪这道题悬置近百年，悬赏百万美元设立26年来，此前七题中只有庞加莱猜想被佩雷尔曼一人解开。微博
另一件是纽约大学数学家Tristan Buckmaster当天发布的公开声明：过去一年，他和在Anthropic任职的数学家Levent Alpöge一直在研究同一族问题，研究草稿就存在OpenAI自家的Codex里，眼看要发表——而OpenAI听闻风声后，启动了那一万个智能体。知乎
微博上"一觉醒来，AI又解决了困扰人类上百年的数学难题"刷屏，知乎连夜立起"OpenAI宣称AI解决千禧年大奖难题，数学家为何炮轰和警告这项成果"等十几个问题；一边喊"AGI时刻"，一边喊"学术掠夺"。微博知乎信息量太大、双方说法对不上，我们把OpenAI官宣、Buckmaster声明、OpenAI研究员Bubeck的回应、陶哲轩的博客与访谈、以及知乎微博上的数学圈讨论全部对齐了一遍。
先给结论：突破是真的，争议也是真的；但"抄袭"这个定性，目前最关键的证据还不存在。而这件事对普通人最大的提醒，不是数学，是那些存在AI工具里的草稿。
先用两分钟搞懂：这是道什么题
纳维-斯托克斯方程描述水、空气这类流体怎么运动，工程上无处不在。往水杯里滴一滴墨水，墨水被水流带着旋转、拉长、散开——方程刻画的就是这个过程中速度、压力和受力的相互影响。
克雷研究所2000年悬赏的问题是：如果流体一开始表现良好（数学上叫"光滑"），之后的运动有没有可能在某个时刻突然失控，让某处的速度飙到无穷大？这种失控叫"爆破"，出现的位置叫"奇点"。
解题有两条路：要么证明无论如何流动都不会失控，要么构造出一个具体例子，让流体真的在有限时间内爆破。克雷官方题面明确允许第二条路，也允许给方程加"外力"——只要外力本身足够光滑。知乎OpenAI走的就是第二条路，Buckmaster和Alpöge走的也是第二条路，但两人针对的方程差一个关键条件，后面细说。
OpenAI构造出的那个"失控"，是一个向内旋转、不断拉长的涡：涡心越来越细、局部速度越来越快，但高速运动集中在越来越小的区域里，总动能保持有限。知乎165页证明的技术难点，就是让加速度、压力、动量输运和黏性精确地互相抵消。
三个已确认的实锤
实锤一：证明存在，且通过了Lean机器验证。 Lean是一种证明助手，能逐条核对每一步推理是否从定义和公理出发站得住，验证通过意味着逻辑上没有漏洞。OpenAI的解答由GPT-6 Astra用约17小时完成Lean验证，形式化代码已同步开源；仅纳维-斯托克斯这部分，智能体之间传递了约270万条消息，模型累计输出约1300亿token。知乎知乎上有数学背景的用户对照克雷官方题面分析：题面的四种表述里，OpenAI证出的版本足以构成对克雷版问题的解答——前提是证明无误。知乎
实锤二：两位数学家的成果同样是硬的，且OpenAI官方承认其优先权。 Buckmaster和Alpöge在8月15日得到欧拉方程（下面会讲和NS的区别）光滑外力下的爆破结果，8月22日完成Lean验证。知乎菲尔兹奖得主陶哲轩9月7日在博客中称两人的工作是"杰出成就"，并表示从他们的欧拉结果推进到纳维-斯托克斯，他没有看到根本性障碍。知乎OpenAI在发布时也认可了两人在欧拉工作上的优先性、祝贺其成果，并明确表态不打算申请克雷奖。知乎
实锤三：截至9月9日，克雷研究所官网仍把纳维-斯托克斯列为"未解决"。 所长Martin Bridson对媒体的回应是：评奖程序刻意不急，将确保绝对严格。知乎按克雷的规则，成果需经同行评议发表、再经受住数年检验才谈得上领奖。换句话说，“AI攻克千禧年难题"目前是"AI给出了通过机器验证的解答、等待数学共同体确认”——这两句话的差距，就是转发前值得停一秒的地方。
两套罗生门：目前谁也拿不出完整录音
罗生门一：那通电话里到底说了什么。
按Buckmaster的声明：他发现圈内传言指向自己的工作后，主动联系了OpenAI。通话中，OpenAI研究员Sébastien Bubeck提出两种发布方案——要么两位数学家先发欧拉结果、OpenAI次日发NS结果；要么由Buckmaster单独署名写一篇NS论文，承认问题由OpenAI内部模型解决。知乎Buckmaster称，Bubeck两次要求把Alpöge移出署名，理由是他在竞争对手Anthropic工作；他拒绝方案并表示会公开经过后，Bubeck回应"你为什么要毁了自己的职业生涯？“以及"如果你不想让我友善，那我也可以不友善”。
Bubeck的版本：“移除署名"针对的是OpenAI那篇论文的署名，而非把Alpöge从Alpöge自己参与的欧拉研究中去掉；他承认说过"如果Levent不是Anthropic员工会更简单”，但那是指OpenAI成果的署名安排；"毁掉职业生涯"是表达担忧时的糟糕措辞，已当场收回并道歉。他反过来指责Buckmaster威胁向媒体散布无根据的指控，并附上短信截图，表示愿意分享OpenAI使用的全部提示词。知乎
细看会发现一个容易被忽略的点：两人关于"移除署名"的说法，指向的可能不是同一篇论文，字面上未必矛盾——但Bubeck方案的客观效果，是把合作一年的Alpöge排除在这项成果的延伸之外。Buckmaster自己在声明里也写得很克制：“我没看过OpenAI的证明，不知道模型做了什么，不知道自己的数据是否被使用。我不是在指控任何人。”
第三方已经下场，且阵营并不整齐：OpenAI的Noam Brown力挺Bubeck是"非常善良的人"，并把事件定性升级为"抄袭指控"，喊话Anthropic管理层表态——但Buckmaster本人都没用这个词；Anthropic的Sholto Douglas贴出Alpöge一年前发给Buckmaster的邮件截图，回应Brown所说的"OpenAI内部只在这题上花了约一周"——一边是一周，一边是一年；DeepMind研究员Dheeraj Nagaraj称对Bubeck行为的指控"百分之百可信"（他2020年曾在Bubeck手下实习）；但在数据问题上，Douglas作为Anthropic员工却公开表示，用户数据影响了OpenAI结果这件事"极不可能"。知乎
罗生门二：存在Codex里的草稿，有没有变成模型的养料。
这是整个争议里唯一有"实锤潜力"的问题，目前拆成两半：
OpenAI的人和智能体有没有主动读取两人的草稿？OpenAI正式公告说没有——在两人公开成果之前，研究人员和智能体"没有通过任何方式看到其工作"。
两人使用产品产生的数据，有没有经处理后被用于训练？官方原话涉及"去标识化衍生数据"——移除账号姓名后，文字里的数学思路仍可能保留；一段未发表的研究笔记，价值恰恰就在方法和构造里。而在这个最关键的问题上，OpenAI的表述是：虽然不太可能，但不能排除。知乎
注意Buckmaster质疑的合理性来源：用光滑外力构造爆破，是西班牙数学家Córdoba和Martínez-Zoroa开辟的冷门路线，走这条路的人极少，而两位数学家的进展在圈内已传开。他怀疑的正是：模型能否在几天内、仅靠公开题面，自然找到同一条路线。知乎这个问题，要等OpenAI兑现"分享全部提示词"的承诺后才可能有答案。
全网多数转述都漏掉的技术细节：欧拉和NS之间，隔着一层"黏性"
很多文章把这件事写成"两位数学家快做出来了，被OpenAI抢发同一个成果"，这不准确。
纳维-斯托克斯方程里有一个"黏性项"，描述流体内部摩擦如何减缓运动；去掉它，方程就变成描述无摩擦理想流体的欧拉方程。黏性天然抑制爆破，所以在欧拉方程里构造爆破相对容易，在有黏性的NS方程里构造爆破难得多。知乎Buckmaster和Alpöge解决的是欧拉版本，OpenAI声称解决的是NS版本——陶哲轩说的"没有看到根本性障碍"，指的是从前者到后者，但"没看到障碍"和"已经走完"是两回事。
把时间线拉直，你会看到一个更冷的对比：
数年前：Córdoba和Martínez-Zoroa开辟外力路线，在"粗糙外力"条件下取得进展（Buckmaster认为后者的贡献配得上一枚菲尔兹奖）；
约一年前：Buckmaster和Alpöge沿这条路线推进，目标把外力条件从粗糙做到光滑，工具是Claude和Codex（主力模型GPT-5.6 Sol，后期用GPT-6 Astra写稿核对），费用来自Buckmaster的科研经费；
8月15日：两人得到欧拉结果；8月22日完成Lean验证，准备再花几周把论文写成人能读懂的样子——Alpöge发来的第一份AI生成证明文字，被Buckmaster形容为"读过的最糟糕的数学写作之一"；
8月28日：OpenAI开始训练一个能力显著强于GPT-6 Astra的内部新模型；
9月1日：OpenAI听说"有两个千禧年难题被解决了"（这条传言并不准确），直接让新模型尝试所有未解的千禧年难题；
约100个智能体先用50小时解决了不需要外力版本的欧拉方程爆破，团队随即把资源全部压到NS上，并发规模膨胀到约1万个智能体；
9月5日：首批智能体启动约88小时（三天又16小时）后，系统给出解答；
9月8日：官宣。Buckmaster同日发声明。
成本呢？OpenAI首席研究官Mark Chen对媒体说，计算成本"显然在数百万美元量级"；密歇根大学教授Karthik Duraisamy的独立估算是：按零售价约600万美元，按公司内部成本约100万美元。知乎一边是一位教授的科研经费加两位数学家的365天，一边是一家公司的88小时和七位数美元。
Axios把这种处境提炼成一个结构性的问题：当向科学家提供AI研究工具的公司，自己也能调动远超科学家的资源与他们竞争时，会发生什么？知乎这不是数学问题，是所有把活儿放进AI工具里的人的问题。
放下数学，这件事和你有什么关系
第一，谈资层面：陶哲轩的"直升机"比喻，比"AI超越人类"准确得多。 他说做数学像徒步去远方，AI是直升机，直接把你空投到答案附近——但数学的价值不只在终点，一路上修的路、画的地图、发现的联系才是更要紧的；一个证明就算验证正确，如果没人能讲明白它是怎么回事，它还不算真正变成人类的知识。36氪他还给了一个降温判断：AI探路的方式和人类几乎"正交"，一些人类啃了很多年的难题对它意外地简单，另一些真正关键的问题它照样摸不着头脑——“一些难题对AI很容易，造成了AI已经超越人类的错觉”。数学圈内部也不是一边倒：知乎上有人认可"agent系统在求解数学问题上正式达到超人类水准"，也有人嘲讽这是"穷举式的低垂果实"。知乎至于工程应用，短期内影响有限——真实的水由分子组成，方程预测出无穷大速度时早就到了分子尺度、方程本身已不适用；用航空工程教授Chris Combs的话说，奇点的出现说明方程在极端条件下碰到了它自己的边界，工程师一直清楚这个边界的存在。
第二，模式层面：OpenAI的数学官宣，不是第一次需要"等一下"。 8月初，OpenAI宣称推理模型攻破一道80年悬而未决的猜想，24小时内被数学家指出"证明全对、但答错了题"——陶哲轩早有预警。微博当然，另一面也要看到：5月构造出埃尔德什单位距离猜想的历史级反例、8月以约2000美元推理成本在球堆积渐近极限和非Sofic群等十个硬核悬案上取得突破，这些是被数学圈认真讨论过的真成果。36氪所以正确的姿势不是全信也不是全嘲，而是把公司官宣当"待验证成果"看：有没有Lean验证、有没有同行评议、克雷这类权威机构的状态改没改。这次三样里只占了第一样。
第三，也是最实用的一条：你的草稿，也存在别人的服务器上。 这场争议里最扎心的细节，是两位顶级数学家把研究一年的心血草稿存在Codex里让AI帮忙核对——然后工具提供商在相邻方向上启动了一万个智能体。OpenAI否认主动读取，其正式公告涉及一个关键概念：“去标识化衍生数据”。知乎如果你日常用ChatGPT、Codex、Claude或任何云端AI处理工作内容，现在就可以做三件事：去设置里检查数据控制类开关（ChatGPT在"设置-数据控制"里有关闭"为所有人改进模型"的选项，Codex等智能体产品的数据条款以最新官方文档为准）；分清你所在的企业版/个人版数据政策，两者往往不同；真正压箱底的未发表创意、投标方案、核心代码和研究成果，尽量留在本地或私有化环境，别把职业生涯押在服务商的自觉上。
第四，后续值得盯的五个信号：①克雷官网的NS状态何时从"未解决"变动；②Buckmaster和Alpöge的正式论文——他们已因争议提前发表，但计划花几周把机器找到的路径重写成人类能学习的知识；③OpenAI是否兑现承诺，公开全部提示词；④数据问题是否有任何一方的进一步调查或声明；⑤那个"能力显著强于GPT-6 Astra"的内部模型，下一个对准哪道题——OpenAI已经明说，9月1日之后它尝试的是"所有尚未解决的千禧年难题"。知乎
写在最后
Buckmaster把这一刻比作1997年深蓝击败卡斯帕罗夫：机器第一次在公认需要人类顶级智力的领域正面获胜。知乎区别在于，深蓝的胜利当年没有争议——没人指控IBM偷看了卡斯帕罗夫的棋谱。而这次的争议恰好卡在最微妙的地方：工具提供商、竞争者、成果的宣称者，是同一家公司。
陶哲轩说，当证明生成逐渐自动化，数学研究里最稀缺的环节就从"找到答案"转向"理解答案"。36氪对围观的我们来说也一样：88小时的奇迹和一年的坚持哪个更值钱，等提示词公开、等论文重写、等克雷表态之后，再做判断不迟。现在急着站队的人，消耗的只是自己的判断力——那是目前还没有被任何智能体接管的东西。
