一个"显然"引发的震动

9月中旬，克雷数学研究所（CMI）对七大千禧年难题之一的纳维-斯托克斯方程存在性与光滑性问题作出罕见表态：该问题"显然已被解决"（apparently been resolved），解法已进入研究所的正式评审流程，奖金100万美元。CMI同时强调评审将"刻意从容"（deliberately unhurried）——这句轻描淡写的话，恰恰是整个事件中最值得玩味的部分。

一个悬置了近两百年的流体力学核心问题，一个让陶哲轩、佩雷尔曼级别的数学家都望而却步的千禧年难题，如今用"显然已被解决"这样的措辞轻飘飘地宣布进入评审。这不是数学界的一则普通新闻，而是一个时代的注脚：AI加速的数学证明，第一次以主角身份撞开了人类最高智力殿堂的大门。

但正如本专栏在日报趋势观察中指出的，这件事的真正深度不在证明本身，而在于围绕证明发生的一切——一场关于草稿泄露、算力截胡与署名权的公开指控，正在把"实验室信任"问题从模型安全领域蔓延到科研合作的最深处。

先看数学：他们到底证明了什么

要理解这场风波，需要先弄清楚已公开成果的分量。

纽约大学柯朗研究所的Tristan Buckmaster与就职于Anthropic的Levent Alpöge合作约一年，于9月8日公开三篇论文，分别针对不可压缩多孔介质方程、Boussinesq方程和三维不可压缩欧拉方程，证明了"爆破"（blow-up）的存在——即从完全平滑的初始状态出发、外力也极其平滑的条件下，方程的解依然会自发演化出奇异性，使光滑的数学描述失效。

需要严谨指出的是：这三篇论文并没有直接解决纳维-斯托克斯问题。核心差异在于"黏性"：欧拉方程是忽略黏性的理想流体模型，而纳维-斯托克斯方程包含黏性阻尼——黏性会耗散动能、抑制细小扰动，这使得后者更难出现爆破。克雷研究所的官方问题说明也明确将欧拉方程排除在百万美元悬赏之外。

但两者技术路线相通。按照陶哲轩的解读，这项证明通过不断引入越来越细微的流动结构完成构造：较大尺度的流动放大更细微尺度的扰动，细小扰动迅速增强后反过来主导运动，又为下一轮更细小的变化创造条件——每一轮级联耗时越来越短，无限多轮接力在有限时间内完成，最终使表征局部旋转或变化率的物理量失去上界。沿这条路线，向带黏性的纳维-斯托克斯方程推进在理论上存在可能性，只是横亘着巨大的技术鸿沟。

而据Buckmaster的公开声明，OpenAI在与其的通话中宣称：内部模型已生成一份约100页的证明，解决了带光滑外力的纳维-斯托克斯爆破问题。这正是克雷研究所现在所评审的对象——一个从未公开、Buckmaster本人也从未见过、但宣称比已公开成果更深一步的机器证明。

时间线：一场被逼提前的发布

根据Buckmaster那份四页的公开声明，事件的时间线大致如下：

  • 合作期：两人同时使用Claude与OpenAI的工具推进研究，费用由Buckmaster自己的科研经费承担，双方雇主均未正式参与。转折发生在8月15日——Boussinesq与欧拉方程的关键突破到来；8月22日，论证通过Lean形式化验证。
  • 9月3日：外界开始流传"Anthropic解决了重大数学难题"的传言，消息传到了OpenAI。Buckmaster致信OpenAI一位知名数学家澄清，对方回应希望了解细节"以免形成不必要的竞争"，并主动提出提供算力支持。
  • 9月6日（周日）：Buckmaster与包括Sébastien Bubeck在内的两位OpenAI研究人员通话。据其陈述，OpenAI透露内部有专门团队、调集庞大算力、先攻欧拉方程再攻纳维-斯托克斯，且首次向模型输入相关提示词的时间，正是在得知两人进展之后的几天内。
  • 争议焦点：OpenAI提出两套发布方案——要么两人先发欧拉论文、OpenAI次日紧跟发布纳维-斯托克斯突破；要么由Buckmaster单独执笔阐述纳维-斯托克斯结果的论文，但必须注明问题由OpenAI内部模型解决，且Bubeck两次明确要求将Alpöge排除在作者名单之外。
  • 摊牌：Buckmaster拒绝方案，对方 allegedly 反问"你为什么要毁掉自己的职业生涯？“随后Buckmaster公开论文、验证代码与个人声明。Bubeck公开否认指控，但截至声明时未逐一回应署名要求与通话措辞。

几个关键事实需要厘清：草稿是否被用于训练数据，目前没有任何公开证据，Buckmaster自己也承认不知道；那份百页证明至今未公开供学术界核验；通话细节主要出自单方陈述。但有一个结构性事实无可辩驳——OpenAI承认在得知两人进展后，于数日内启动了同一技术路线的定向攻关。在"把题目丢给模型"的叙事之外，时机本身构成了故事。

三个被撕开的深层问题

一、证明的速度与制度的时间，正在脱节

克雷研究所"刻意从容"的评审姿态，本质上是一场节奏的对冲。模型生成一份百页证明可能只需要算力和天；而人类制度确认它——评审、形式化验证、理解"为什么成立”——需要以月甚至年计。陶哲轩在评价此事时说得很清楚：数学研究的核心价值不仅在于知道命题是否成立，更在于彻底理解它为什么成立。

这暴露了AI数学的独特困境：Lean可以验证逻辑无误，但无法验证"意义"。机器跑通的代码不等于合格的数学论文——Buckmaster对LLM直接生成的证明文本评价极低，此后数日的工作是把机器论证重写成人类可读的数学。当证明的产出速度由算力决定、而承认与归属仍由人类制度裁决时，两者的摩擦只会随着算力的增长而加剧。克雷的从容，是在用制度的慢，对冲资本与算力的快。

二、署名权：AI时代学术产权的第一场正面战役

Bubeck要求把Alpöge排除出作者名单（即便是针对拟议中的新论文而非已完成论文），这个细节之所以致命，是因为它触碰了学术界最敏感的神经：贡献的定价权。

拆开看，这篇尚不存在的"纳维-斯托克斯论文"里糅合了多重贡献：Córdoba与Martínez-Zoroa开辟的技术路线（前人奠基）、Buckmaster与Alpöge一年多的深入推进（人类劳动）、LLM辅助的推导与Lean验证（AI工具）、以及OpenAI宣称的新突破（机器+算力+定向攻关）。传统学术规范为前两者准备了清晰的位置，为第三者提供了"工具使用"的惯例——但第四种贡献，一家商业实验室声称"我们的模型解决了问题"，在现有规范里没有格子可以填。

如果OpenAI的方案成立，它实际上是在主张一种新产权：模型所有者对模型产出的一切成果拥有署名决定权。这比数据泄露指控更值得警惕——前者是可能的违规，后者是想改写规则。

三、Codex里的草稿：科研数据的灰色地带

Buckmaster的另一个追问同样意味深长：他长期保存在Codex环境中的论文草稿，是否被模型调阅或用于训练？据其陈述，OpenAI否认模型会主动检索用户数据，但对"数据是否被用于后续训练"未正面回答。

这是整个事件中证据最薄弱、但含金量最高的一个问题。学术界尚无"云环境中的研究草稿"的保密惯例——数学家们习惯把预印本随时存进各种工具，就像存在自己电脑里一样。但当工具的所有者同时是研究竞赛的参与者时，每一个存入云端的研究草稿，都成了潜在的训练语料和情报源。这件事之后，前沿领域的研究者在选择工具时会多一层此前不存在的顾虑。可信计算环境、数据不出域、工具方与研究方隔离——这些AI安全领域的老议题，会以"科研基础设施中立性"的新面目重新登场。

更大的图景：数学正在变成算力密集型学科

把镜头拉远，纳维-斯托克斯事件只是一个更大趋势的早期样本。

此前已有先例：AlphaProof与AlphaGeometry在国际数学奥林匹克拿下银牌水平成绩；DeepMind与数学家的合作论文登上Nature；形式化数学（Lean社区、mathlib库）从边缘爱好变成顶级机构的标配基础设施。而这次事件的区别在于——AI不再只是"辅助"，而是直接产出了宣称触及千禧年难题核心的完整证明。

这预示着一个分层未来的加速到来：

  • 顶层难题的攻坚将越来越像大科学工程：需要专门团队、庞大算力、定向攻关，其产出速度由资本决定。千禧年难题可能像高能物理的粒子对撞一样，变成少数几个寡头机构的专属赛道。
  • 中层验证与理解成为新的瓶颈与新的学科：把机器证明转化为人类数学直觉，这一"翻译层"工作会出现职业化的需求，其地位类似于今天的系统工程师。
  • 底层规范被迫重构：论文署名、优先权认定、评审流程、成果公开机制，都将在AI产出占比不断上升的压力下重写。克雷这次评审积累的流程经验，可能比评审结论本身更有历史价值。

结语：速度的胜利，还是意义的胜利？

Buckmaster在声明结尾写道，他不知道OpenAI的模型在后台做了什么，也从未见过那份证明。这句坦诚的话，可能是对整个AI时代科研秩序最精准的隐喻：我们所有人都还没见过那份证明，但世界已经因为它改变了。

数学曾是纯粹属于纸笔与心灵的学科，是人类智力最后的自留地。当证明的速度开始用TFLOPS计量、当草稿存进竞争对手的云端、当署名权在电话里被讨价还价——这个学科赖以运转的信任结构，正在经受比任何方程都复杂的考验。

克雷研究所的评审终会给出答案：那份百页证明是对是错。但无论结果如何，真正待审的从来不只是纳维-斯托克斯方程——而是人类学术制度在算力时代的裁决权，还能维持多久。

参考来源：AI洞察日报 2026-09-15（The Decoder、Clay Mathematics Institute）；Buckmaster公开声明（cims.nyu.edu/~tristanb/statement.pdf）；腾讯新闻深度报道（2026-09-08）；陶哲轩博客分析（terrytao.wordpress.com）