这周你要是只刷了标题，大概率会精神分裂。
一边说：OpenAI 出动一万个 AI 智能体、烧了 88 小时，把困扰人类 90 年的纳维-斯托克斯方程攻破了——千禧年七大难题之一，悬赏 100 万美元那种。
另一边说：25 位菲尔兹奖得主联名发怒，加州理工数学家集体写公开信，OpenAI 灰头土脸撤回了一场数学活动的赞助。纽约大学教授 Buckmaster 接受采访时的原话更绝望：“一切都毫无意义了，游戏已经结束。”
AI 赢了人类最聪明的一批大脑，数学家却怒了，围观群众还在吵该站哪边。这瓜到底怎么回事？我把这周的时间线、双方声明和微博知乎的讨论都翻了一遍，给你拆清楚。
先对齐时间线：88 小时是怎么炸出这场风波的
8 月上旬：Anthropic 的 Claude 先在数学圈出圈——几十个 Agent 分工协作，在几乎没人参与的情况下，证明黎曼猜想至少 67.25% 的非平凡零点落在临界线上。此前人类花了 37 年才把这个数字推到 40% 出头。李永乐老师专门做了期视频，微博点赞近三千。微博
9 月 1 日：OpenAI 听到一个传闻——“Anthropic 已经解决了 2 个千禧年难题”。真假不论，它当即决定用一个尚未公开的内部模型冲击纳维-斯托克斯方程。先让约 100 个 AI 程序跑了 50 小时，拿下欧拉方程分支，然后把资源全部集中，智能体规模拉到一万个。智讯智库
9 月 5 日：第 88 小时，系统给出一个反例——存在一种精心构造的、大小有限且光滑的外力，让流体局部速度在有限时间内冲向无穷大。翻译成人话：这道"方程到底会不会崩"的 90 年老题，AI 回答了"会崩，配方在此"。
9 月 8 日：GPT-6 Astra 发布后的第五天，OpenAI 官宣成果，附 166 页论文，并让 Astra 再花约 17 小时把证明翻译成 Lean——一种能让计算机逐行检查对错的形式化语言，官方称已通过检验。同一天，在这条路上研究了近一年的两位数学家 Buckmaster 和 Alpöge，匆忙上传了自己的阶段性成果。
9 月 9-10 日：剧情陡转。Buckmaster 深夜连发三篇论文外加一份 1870 字的自述，公开指控 OpenAI：其一，两人研究中频繁用 OpenAI 的 Codex 整理推导，而 OpenAI 的证明路径和他们的推演"惊人相似"，他怀疑输入记录成了模型的养料——但他自己也承认"没有证据"，靠的是时间线推断；其二，OpenAI 邀请他共享成果署名，开出的方案之一要求删掉 Alpöge 的名字，只因 Alpöge 的本职工作在 Anthropic——OpenAI 的死对头。作为交换，他可以先发论文、当第一作者、拿算力，甚至被建议分享那 100 万美元奖金。他拒绝了，随后按他的说法，对方问他"你为什么要毁掉自己的职业生涯"。钛媒体
9 月 10-11 日：传闻继续滚雪球：OpenAI 被爆接近完成霍奇猜想的验证，和 Anthropic 双向冲刺 BSD 猜想。《纽约时报》特稿侧面证实——OpenAI 过去五年在另一个千禧年难题上有实质进展，正准备公布。
9 月 11-12 日：25 位菲尔兹奖得主联名签署公开信，警告 AI 实验室为抢"解决著名难题"的头条正在威胁学术研究本身；OpenAI 则在本周撤回了给加州理工一场数学活动的赞助。
背景补一句：千禧年难题设立 26 年，人类此前只解决过 1 道——2003 年佩雷尔曼证明庞加莱猜想，还拒领了奖金。而现在，可能一个月要掉 3 道。知乎上已经有人吐槽：OpenAI 这是拿千禧年难题当 Benchmark 刷。
实锤、单方说法、传闻：吵之前先把这三层分开
这场舆论战最大的问题，是把三种性质的信息搅在一起了。分开看，其实没那么晕。
实锤层（双方承认或多方证实）：OpenAI 确实官宣了 NS 反例，放出 166 页论文和 Lean 验证代码。两位数学家确实用过 Codex，也确实在官宣前后仓促发布了自己的成果；OpenAI 确实提出过署名安排，其中一个版本要求剔除在 Anthropic 工作的合作者；OpenAI 的口径确实翻转过一次——先对媒体承认"无法排除两位学者的使用记录提升了系统能力"，后在声明中改口"不可能以任何方式影响训练结果"。联名信、公开信、撤赞助，也都真实发生。知乎微博
单方面说法（一方说、另一方否认）：Buckmaster 转述的威胁性言论——项目负责人 Bubeck 后来承认"你为什么要毁掉自己的职业生涯"确实出自自己之口，但否认是威胁，还晒出与 Alpöge 的聊天截图自证释放过合作意愿。“数据白嫖"的怀疑，OpenAI 坚决否认，但它在官宣文章里自己留了一句意味深长的话：无法完全排除去掉身份信息后的产品使用数据曾帮助模型改进。陶哲轩的态度常被两边各取所需，其实很精确：9 月 7 日他在博客称赞了两位人类数学家的工作，9 月 3 日就警告过"秘密的搜索也许能得到被验证的结果，但会把过程中本可获得的’人类洞察’留在公司内部”——他质疑的是过程，不是结果。知乎智讯智库
传闻层（无官方确认）：“Anthropic 已解决 2 个千禧年难题"的传闻至今没被证实，但它确实触发了 OpenAI 的真实冲刺——一条谣言驱动了一场算力战争，这本身就是本周最赛博朋克的情节；霍奇猜想、BSD 猜想"接近攻克”，目前只有 X 上的爆料和媒体暗示，别当事实转。知乎
最有意思的地方：反对 OpenAI 的，和力挺 OpenAI 的，吵的根本不是同一个问题
微博和媒体端，同情数学家的声音占主流。“一场旧贵族对新蛮族的阶级战争”“数学已死吗"这类帖子转得飞起。加州理工的公开信造了个词叫"粗糙的数学"：AI 公司宣称"解决"了难题，然后需要人类数学家去验证、修正、有时甚至彻底驳斥，而这些活儿"没有得到报酬、没有署名，也没有得到承认”。菲尔兹奖得主们的联名信点得更透：方案发布仓促，来不及梳理新方法、引用前人工作，归属和抄袭问题随之而来；更致命的是，如果没有数学家愿意把 AI 的结果消化、整合进知识体系，传承链条就会断裂。Buckmaster 在自述里专门感谢了两位铺路的西班牙数学家 Córdoba 和 Martínez-Zoroa——OpenAI 的官宣里，一个字没提他们。其实数学家不是没预警过：今年 6 月，数学界就发布过《莱顿宣言》，讨论大语言模型将如何改变他们的工作。这次不是突然破防，是忍了很久。微博钛媒体
但切到知乎，高赞技术回答几乎一边倒地站在 OpenAI 这边，论点相当具体：两位数学家手里的是欧拉方程、Boussinesq 方程和一个还没通过 Lean 验证的次耗散 NS——而次耗散 NS 本质上是"披着粘性外皮的欧拉方程"，距离全粘性 NS 还差十万八千里；OpenAI 则直接硬刚完整方程，构造出轴对称带旋向流动的拉伸涡管，走的是完全不同的路线。点赞最高的比喻很损：OpenAI 抽卡抽出了 SSR，Buckmaster 跳出来说自己垫过刀。回答里还甩了个硬指标：OpenAI 放出了 166 页通过 Lean 验证的证明，而两位的半成品连 Lean 都还没过。知乎
看懂了吗？知乎吵的是"OpenAI 有没有抄人类近道"（技术争议，目前证据不支持"抄"），数学家们怒的是"AI 公司做科学的规则"（生态问题，跟这道题谁先解出来无关）。你完全可以同时相信"证明是真的、路径没偷"，和"这种做法正在伤害数学"——这两个判断不矛盾。把两边混着吵，正是本周舆论场最大的误会。而 OpenAI 的回应也很说明问题：研究负责人 Dan Roberts 只说"希望与数学界进行更多交流"，对"验证劳动要不要署名付酬"这个核心指控，没有接招。钛媒体
再往深看一层，这不是偶然事件，是一套打法。OpenAI 年初就组建了由前首席产品官 Kevin Weil 领衔的科学团队，放话"2026 年将成为科学突破的关键时刻"；今年以来，5 月宣称推翻 Erdős 单位距离猜想，8 月 Astra 一次性产出十项数学成果，9 月拿下 NS；同时疯狂从学术界挖人——清华姚班出身的陈立杰、UCLA 数学家 Ernest Ryu、沃顿统计学正教授苏炜杰相继加入，新科菲尔兹奖得主 Jacob Tsimerman 更是获奖当天宣布休假加入 OpenAI。对外它还承诺到 2027 年免费覆盖 10 万研究者、投入超 2.5 亿美元支持。解千禧年难题，既是科研，也是 AGI 叙事里最硬的那块广告位——想明白这一点，你就明白它为什么听到一条传闻就敢连夜拉起一万个智能体。智讯智库
对不搞数学的你，这件事的三个用处
第一，你拿到了一把判断"AI 攻克 XX"新闻的尺子。 记住三个台阶：宣称 ≠ 验证 ≠ 认可。Lean 机器验证是目前最硬的信号，比"专家初步看过"强一个量级；而克雷研究所的千禧年奖有自己的一套流程——成果要发表在顶级同行评议期刊，还有等待期，不是一篇官宣博客就能领走 100 万美元。以后再刷到"AI 又解难题"，先问三句：过没过形式化验证？谁在复核、复核有没有报酬？归属吵清楚了没？
第二，数学界的愤怒，是所有用 AI 的行业的前瞻预告片。 "粗糙的数学"说的其实是成本转移：AI 把"生成"变得又快又便宜，把"验证、纠错、兜底、整合"留给了人，而这些人往往不被署名、不被付钱。写代码、做设计、出报告的打工人已经在经历同款剧情——当老板把 AI 生成的一大坨东西甩给你说"你帮忙看一眼"时，你干的就是加州理工数学家正在免费干的活。数学家因为站得最高，所以最先喊疼；这份联名信，值得每个靠专业判断吃饭的人读一遍。
第三，接下来有几个明确的观察信号，比本周的骂战更值得盯：霍奇猜想和 BSD 猜想会不会被正式官宣；克雷研究所会不会受理 NS 成果；那 166 页证明能不能扛住社区级复核；以及最关键的——AI 公司会不会开始给做验证工作的数学家署名和付酬。哪一个先落地，都是比"数学已死"大得多的真新闻。
最后回到 Buckmaster 那句"游戏已经结束"。他自己把此刻比作 1997 年深蓝对战卡斯帕罗夫——那年世界冠军 19 步推盘认输。但历史的后半段是：国际象棋没有死，反而更繁荣了，人类只是不再跟机器比谁算得快。所以这次真正的问题，不是"人类还赢不赢得了"，而是：当机器把最像人类灵感的那部分也做了，游戏的规则——署名、验证、传承、开放——由谁来守。微博
25 位菲尔兹奖得主的联名信，争的就是这个。所以别急着转"数学已死"，数学没死，死的是旧规则；而新规则怎么立，值得你比任何一场大模型发布会都多盯一会儿。
