25位菲尔兹奖得主联名公开信：AI数学突破背后的署名、验证与研究生态危机

要理解数学家为什么这么愤怒，得先看这封公开信到底在争什么。表面上看，争论的是署名和引用，但信件自己把逻辑说得更清楚：数学的价值不只是证明本身，也不只是谁拿到功劳，而是那套滋养学生、发现新问题、把结论整合进人类文明的智力上层结构。这条链条的运转依赖几个非常具体的东西——正式写作、方法提炼、文献引用、同行验证。AI实验室目前的做法是把前一步做到极致：先有结论，再宣布，写作与验证留到以后。问题在于，数学是社会性学科，一个没有经过社区理解与传播的证明，在数学意义上只是候选答案。信件里那句AI-conceived ideas would never become fully alive说的就是这个意思：不是不承认AI的贡献，而是指出没有人类接棒，贡献就停在半空中。

第二层冲突是激励机制被扭转，而这一层才是真正危险的地方。TechCrunch指出，如今的现实是：如果前沿实验室认为某条路径有希望，它们可以花上数千万美元，用大模型抢在原研究者之前把证明做出来。这会把一批本来最愿意公开分享的人推向保密。信里和报道里都出现了同一种不安——有数学家开始怀疑自己使用Codex的过程是否反过来被喂进了OpenAI的新模型。要注意这个担忧的性质：它不是关于模型能力的猜测，而是关于数据流向与署名的具体怀疑。此前VentureBeat在报道OpenAI的数学结果时提到，该公司用约1万个智能体的集群攻克了这一问题，同时表示无法排除这项成果受益于某位研究者的私有Codex数据。当一个行业里最顶级的人开始为输入自己的草稿而犹豫，开放研究文化的成本结构就被改变了。

第三层是机构层面的连锁反应，它已经超出论坛争论，变成看得见的后果。一是署名施压指控：NYU教授Tristan Buckmaster本周表示，OpenAI向他施压，要求他不为一位为Anthropic工作的合作者署名，他还怀疑该公司是否利用他们与Codex的交互，在一个马拉松式的推理周末里产出了自己的突破性证明。二是赞助撤回：周四，OpenAI在遭到加州理工研究者批评后，撤回了对一场在该校举办的数学活动的赞助。这类动作通常出现在关系已经无法正常维护的时候。三是这封信并非孤立事件，它接续了今年6月由一群数学家发布的《Leiden Declaration》。据The Next Web报道，该宣言获得国际数学联盟（IMU）背书，菲尔兹奖得主Peter Scholze参与签署，呼吁数学家正视AI公司未经许可使用已发表研究、绕过同行评审、以及由此对证明严谨性与署名机制造成的威胁。从6月的宣言到9月的联名信，学界的态度明显在从提醒转向施压。

最后是这封信里最容易被忽略、也最值得所有行业听懂的一句话：如果你对高风险数学证明那个残酷世界并不关心，别忘了——你所在的领域就是下一个。信件原文说，数学界现在面临的问题与其他科学与创意职业面临的问题类似，也预示着全人类可能面对的问题：在AI改变工作方式的过程中，如何确保我们不会忘记这项工作最初是为了实现什么。把这个判断翻译成产品语言，就是一件很实际的事：当AI能替你完成产出，而你仍然是那个要承担责任、要署名、要解释结果的人时，组织必须提前把流程补齐——谁审核、谁署名、原始素材与生成内容的边界在哪里、被采纳的AI建议如何留痕。数学界只是最早撞上这堵墙的行业，因为它对严谨性的要求最高、验证周期最长、荣誉归属最明确。这三个条件，正在越来越多行业里同时成立。