25 位顶尖数学家签署公开信，警告 AI 实验室正以竞相攻克著名数学难题的方式，威胁数学家的智力劳动成果。每位签署者均曾获菲尔兹奖（Fields Medal），该奖项被视为数学界最高荣誉。
OpenAI 引发争议：合作署名风波
纽约大学教授 Tristan Buckmaster 本周指控 OpenAI 曾向他施压，要求其不得为一篇重要数学论文的合作者（该合作者任职于 Anthropic）给予署名。Buckmaster 同时质疑，OpenAI 是否借助他们与 Codex 的合作成果，在一个漫长的推理周末中自行完成了那项突破性证明。
周四，OpenAI 在遭到加州理工学院研究人员批评后，撤回了对该校一场数学活动的赞助。
核心诉求：AI 证明需要人类消化与传承
AI 模型解决世界级数学难题的能力，理论上本可为人类带来巨大福祉。然而公开信指出，这只有在数学界——最终是全人类——能够理解并传播这些证明时才能真正实现。
签署者在信中写道："这些证明常常被仓促公布，没有留下足够时间进行正式撰写、新方法和思想的独立梳理，以及对他人相关前期工作的引用。" OpenAI 的那份证明至今仍未经过验证。"在所有创造性职业中，这都引发了严重的署名与抄袭问题。此外，如果没有愿意投入精力推动其发展与整合进数学体系的数学家，AI 构思的想法将永远无法真正'活'过来，数学家之间至关重要的知识传承链条也将断裂。"
开放研究文化面临威胁
随着更多数学家开始担忧——他们使用 Codex 的记录是否反过来被喂入了 OpenAI 的新模型——业界普遍担心开放研究文化将遭到破坏。如今，前沿实验室若发现一条通向某项成果的有用途径，完全可以斥资数千万美元，用大语言模型抢在原始研究者之前完成证明。这种格局将刺激保密行为。
公开信是对今年 6 月莱顿宣言的延续。后者由数学家工作组发布，同样探讨了大语言模型证明将如何改变其工作方式，并面向数学家、学术机构和政策制定者提出了一系列建议。
数学之外，没有人是安全的
与软件工程及其他被 AI 工具改变的领域一样，数学家们也在为"工作之外的工作"寻找价值支撑：数学的价值不仅在于证明本身和署名归属，更在于滋养学生的知识上层建筑、发现新问题与新思想，并将其整合进更广泛的人类文明。
如果你对这场高风险数学证明的激烈世界并不特别关心，也请记住：你的领域迟早也会面临同样的处境。 签署者写道："数学界现在面临的问题，与其他科学和创造性职业正在面临的问题如出一辙，也预示着全人类可能都将面对的问题：如何在 AI 改变工作方式的同时，不忘这项工作最初要实现的目标。"
评论