10月26日，OpenAI 一次公布了三项成果：全维局部光滑猜想、证伪指数时间假设（ETH）、四维量子场论的存在性。
同一份公告里，它列了四条原则。其中一条是：不为这些发现寻求学术署名。36氪
传到中文互联网，变成了“OpenAI竟然放弃一切学术署名”。先别急着感动，也别急着骂。
准确说，它放弃的是这三项成果的署名，不是从此退出学术发表。它让出的是作者栏，不是“发现”本身。
Brockman 当天在 X 上把三项结果称为“重大科学发现”。公告和推文上，OpenAI 的名字一个没少。
署名可以不要，功劳并没有一起让出去。
在学术界，署名从来不只是荣誉。它意味着有人对论文负责：回答审稿人，更正错误，出了问题承担后果。
通行的作者规范要求作者对研究负责。AI 做不到这一点。所以“AI 不能当作者”不是 OpenAI 的新觉悟，而是学界早就划下的线。
OpenAI 顺着这条线退了一步，成本很低。它没进入同行评审，也就没有一篇要签字的论文。
三项结果都只是公司单方面发布的材料。数学和计算机的部分挂在 GitHub 上，物理部分还没公开。没有一项经过正式同行评审。知乎
这不是吹毛求疵。10月6日，OpenAI 曾一次放出722篇数学手稿。一天后，仓库更新日志显示，3篇因符号错误被撤回。36氪
仓库自己写得很坦白：没做 Lean 形式化的结果“可能有问题”。
Lean 能检查代码里的每一步推导，却判断不了这个形式化命题是不是数学家当年想问的那个问题。
今年10月，剑桥与伦敦国王学院的学者针对此前一项证明发过预印本，题为《Navier-Stokes lost in translation》。
结论不是 OpenAI 错了，而是 Lean 通过不等于自然语言证明正确。
机器能验收形式，验收不了意义。真正贵的不是写证明，是读懂证明。
OpenAI 这次用了三种发布方式。
数学：证明和 Lean 代码全部公开，不指定复核组，等学界自己组织。
计算机：材料公开，请 ETH 提出者 Impagliazzo、Paturi，以及 MIT 的 Ryan Williams 牵头审查。公开信开篇写着：“我们的参与不应被视作对该声称的背书”。知乎
不签保密协议，不收报酬，要求公开全部原始数据，还要求 OpenAI 资助一场学术研讨会。OpenAI 全盘答应。这一项最接近正常复核。
物理：AI 原始证明暂不公开，先交给 David Gross 牵头的五人小组理解、撰写，再决定怎么发。
问题就出在第三种。10月25日，数学与人工智能顾问组（AGMAI）发声明，反对 AI 公司指定少数数学家优先接触成果。
理由有五个：信息不平等，剥夺学术共同体自主权，遴选不透明，借用大牌声誉挡批评，以及没有必要。AGMAI
10月26日，AGMAI 又点名要求 OpenAI 立即公开杨-米尔斯证明和 Lean 代码。理由是 OpenAI 自己说形式化早已完成，继续拖没有科学理由。
OpenAI 同时向 Simons 基金会捐了500万美元，用于办研讨会、资助学界消化这些结果。36氪
听起来不少。但批评者说，和学界要接手的工作量比，这是杯水车薪：AI 能在很短时间内生成成百上千篇手稿，读懂一篇却要按月甚至按年计。
出题变便宜了，批改越来越贵。
所以，“放弃署名”不是纯粹的慷慨，也不是纯粹的算计。它做对了一件小事：不把 AI 塞进作者栏。它绕开了一件大事：作者栏背后那套追责机制。
署名可以放弃，责任不能。
对 OpenAI 来说，真正的考验不是要不要挂名，而是愿不愿意接受“我说了一个发现”附带的义务：公开材料，接受审查，允许别人证伪，错了就改。
在 ETH 证明被提出者逐行看完、杨-米尔斯的材料真正公开之前，“OpenAI 证明了”仍然只是一句待核实的声称。
署名栏空着，不等于账单消失了。
