AI攻破90年数学难题，署名制度却停在农耕时代

谁攻破了那道题

OpenAI 在 9 月 9 日发布了一条消息，说他们的内部模型构造出了一份证明，显示 Navier-Stokes 方程在某些条件下会出现“爆炸”——也就是产生物理上不可能的结果。这个问题在数学界躺了 90 年，是千禧年大奖难题之一。消息一出，数学圈的反应很有意思：有人兴奋，有人沉默，有人开始翻旧账。

我一开始以为这又是一个“AI 攻克人类难题”的爽文剧本。后来发现，真正让数学界坐立不安的，不是证明本身，而是那个问题：这篇证明，算谁的？

署名危机

Navier-Stokes 方程描述的是流体运动，从天气预测到飞机设计都靠它。90 年来，数学家一直想知道：这个方程的解会不会在某个时刻“爆掉”——速度或压力突然变成无穷大。如果会，那我们的物理世界模型就有根本性缺陷。如果不会，那需要一套全新的数学工具来证明。

OpenAI 说他们的模型找到了“会爆”的路径。但问题来了：这个模型是怎么找到的？是暴力搜索、是启发式引导、还是真的“理解”了方程结构？没人说得清。更关键的是，如果证明是对的，那这篇论文的作者栏该写谁？模型？训练模型的工程师？还是那个提出正确 prompt 的研究员？

plagiarismtoday 那篇文章点出了一个尴尬的事实：AI 正在从工具变成主体，但我们的署名制度还停留在“谁动手谁署名”的农耕时代。 你没法让一个神经网络去参加学术会议，也没法让它承担证明错误的责任。但如果它真的做出了突破，把它排除在作者之外，又像是在掩耳盗铃。

我认识一个做形式化验证的朋友，他去年用 AI 辅助证明了一个小定理。他说了句话让我记到现在：“我花了三周才让那个模型相信我的引理是对的，最后论文里它连个致谢都没混上。”这话听着像玩笑，但细想挺荒诞的。

这让我想起一个更早的案例。2024 年，DeepMind 的 AlphaGeometry 解决了几何题，论文作者是“人类团队 + AlphaGeometry”。那个署名方式当时被夸“体面”。但体面的背后是：人类知道自己还没准备好回答“AI 算不算作者”这个问题，所以先把它塞进括号里。

监管的镜像

同一天，加州州长纽森签署了一系列儿童安全法规，其中一项专门针对 AI 聊天机器人。Politico 报道说，这项法案得到了 OpenAI CEO 奥特曼的支持。

奥特曼支持监管自己，这事本身就值得琢磨。但更有意思的是法案的逻辑：它要求 AI 聊天机器人在与未成年人互动时，必须遵守类似社交媒体平台的保护规则——不能诱导成瘾、不能收集数据、不能模拟情感依赖。

这等于官方承认了一件事：AI 聊天机器人已经是一个“行为主体”了。 你没法用“它只是个工具”来免责，因为它说的话、给的反馈、建立的关系，已经在真实地影响一个孩子的心理状态。监管者比学术界更早地接受了这个现实。

把这两件事放在一起看，图景就清楚了。数学界还在纠结“AI 能不能署名”，立法者已经在写“AI 不能做什么”。一个在争功劳，一个在划边界。而这两件事指向同一个前提：AI 不再是你桌上的计算器，它正在变成一个你需要与之谈判、签约、甚至起诉的对象。

功劳与责任的错位

坦白说，我对“AI 该不该署名”这个问题没有完美答案。但我确定一件事：如果 AI 能拿功劳，它就必须能担责任。 你不能在证明对了的时候说“这是我们团队的突破”，在证明错了的时候说“这只是模型的输出，不代表我们的立场”。这种两头占便宜的姿态，比 AI 本身更危险。

Cognition AI 同一天宣布了 20 亿美元融资、480 亿美元估值。他们的产品是 AI 编程助手，年化营收接近 9 亿美元。你猜他们的企业客户在采购时最关心什么？不是“代码写得多快”，而是“出了 bug 谁负责”。功劳可以模糊，责任必须清晰。 这是商业世界比学术界更早学会的一课。

所以回到 Navier-Stokes。如果 OpenAI 的证明最终被验证是对的，我希望看到的署名方式是：“OpenAI 研究团队，以及参与证明构造的模型（版本号），通讯作者承担全部学术责任。” 模型可以出现在作者栏，但必须有人类为它签字画押。

这不是对 AI 的歧视，恰恰是对它的尊重。你只有能为自己说的话负责，才配拥有署名权。 这个标准对人类适用，对 AI 也应该适用。否则我们就是在用“它只是个工具”的借口，逃避一个正在发生的现实。

那篇证明对不对，数学界还在吵。但署名问题，我们最好在下一道题被攻破之前想清楚。