「数学这事失控了一周」：Altman 认错，但 AI 证明照发

一档播客里的半句认错

据 Futurism 与 The Verge 报道，Altman 是在本周四播出的 Cheeky Pint 播客中谈到这件事的。他的原意大致是：OpenAI 在数学领域确实让局面失控了一周，他理解数学家对这种做法的反感。这是 OpenAI 管理层层面第一次直接承认公司给数学界带来了困扰。

但这份歉意有明确的边界。Altman 紧接着给出了不打算收手的理由：世界应当理解宇宙如何运转，重大的基础科学发现不该被一家公司压在手里。换句话说，他道歉的对象是「方式」，而不是「做法本身」。

那一周到底发生了什么

争议的源头是 9 月初 OpenAI 公布的 Navier-Stokes 相关成果。按 OpenAI 自己的说法和 Semafor 等媒体的报道，公司动用了约一万个 AI 智能体连续运算 88 小时，宣称找到了这道千禧年大奖难题相关问题的证明；Futurism 援引的报道称这次运算花费约 1000 万美元。随后，OpenAI 又放出了数百份由 AI 生成、尚未经过同行评审的证明。

• 9 月上旬：OpenAI 公布 Navier-Stokes 相关成果，外界随即质疑其严谨性与署名问题。
• 随后数周：数学家 Tristan Buckmaster 公开批评部分 AI 证明质量，并指称 OpenAI 利用了其团队未发表的工作；OpenAI 研究员 Sébastien Bubeck 为一句涉及对方职业生涯的言论道歉并撤回，但否认其他指控，Altman 当时公开为 Bubeck 背书。
• 10 月中旬：据 Euronews 报道，OpenAI 承诺向数学基金会捐出 500 万美元，被外界解读为修复关系的姿态。
• 10 月底：Altman 在播客中表态，认错但不改方向。

上述指控至今仍有争议，双方说法不一，目前没有任何机构对「是否不当使用他人研究」作出认定。

数学家真正在意的不是「AI 能不能证」

如果只把这场冲突理解为「人类学者不服 AI」，就会错过关键。综合多位数学家的公开批评，他们反对的焦点集中在三处：一是数量，几百份未审稿证明一次性倒进学界，消化成本远超任何期刊的处理能力；二是可读性，自然语言写成的超长证明难以逐行核查，NPR 9 月的报道标题就直言「AI 解了一道难题，人类到目前为止什么也没学到」；三是信用分配，资金和算力占优的公司可以在别人做到一半时抢先跑完全程，再把成果当成技术实力的广告。

这三点里，Altman 的「知识属于全人类」只回应了第一点的动机，却没有回应后两点的代价。证明发出来不等于知识被理解，被理解之前，它更像是一张写着「已解决」的标签。

「继续发」会怎样改写数学界的节奏

可以预见的变化是，学界将被迫为 AI 证明建立一套专门的验收流程，比如要求附带形式化验证（Lean 等证明助手可检查的版本），或者设定署名与优先权的新规则。在这些规则出现之前，每一次「批量发布」都会再次点燃同样的争吵。

Altman 这次的措辞，本质上是把一个程序问题包装成了价值问题：没人反对人类理解宇宙，大家争的是谁来付审稿的账、谁拿署名。一周的失控可以道歉，但只要发布节奏不变，下一次「失控」大概只是时间问题。