25位菲尔兹奖得主联名公开信：AI实验室正在威胁数学家的学术工作

9月11日，25位菲尔兹奖得主联名发表一封公开信，指出人工智能实验室在竞相攻克著名数学难题的过程中，正在威胁数学家的学术工作。菲尔兹奖被视为数学领域最负盛名的奖项，这封公开信的每一位署名者都曾获得该奖。

公开信发出的同一周，纽约大学教授Tristan Buckmaster公开指控OpenAI向他施压，要求他在一篇重要数学问题证明的论文中不要为一名在Anthropic任职的合作者署名；他还提出疑问：他与合作者使用Codex的工作，是否被用于帮助OpenAI在一场"马拉松式"的推理周末中产出自己的突破性证明。

事态在周四进一步升级：在遭到加州理工学院研究人员的批评后，OpenAI撤回了一场在该校举办的数学活动的赞助。从公开信到撤资，短短几天内，AI实验室与数学共同体之间的张力已经从技术讨论变成公开冲突。

公开信的核心关切是署名与可理解性。信中写道："这些解法往往匆忙公布，没有留出时间做规范的写作、提炼新的方法与思想，也没有引用他人此前的相关工作。"署名者同时指出，OpenAI的证明至今尚未得到验证。信中警告："和所有创造性职业一样，这带来了严重的署名与抄袭问题。"

信中还专门谈到传承："如果没有愿意为这些成果的完善、并把它们融入数学经典而付出的数学家，由AI构想出的想法就永远不会真正活起来，数学家之间那条关键的人类传递链条也会断裂。"

这种紧张并不只停留在署名层面。随着越来越多数学家开始担心自己使用Codex的过程会被喂给OpenAI的新模型，开放研究的文化被认为正受到威胁。如果前沿实验室看到一条可行的发现路径，它们可以花费数千万美元，用大模型抢在原研究者之前完成证明——这种激励会让保密成为理性选择。

这封信延续了今年6月由数学家工作组发布的《莱顿宣言》。该文件同样讨论了大模型证明将如何改变数学工作，并向数学家、研究机构与政策制定者提出了一系列建议。公开信可以被看作这条讨论脉络上更急迫的一次集体表态。

署名者把数学界的处境视为更广泛问题的先声：数学的价值不只在于证明和署名，还在于滋养学生、发现新问题与新想法、并把它们整合进更广泛人类文明的那套"智力上层建筑"。信中说："数学界现在面临的问题，与其他科学和创造性职业面临的问题相似，也预示着全人类可能面临的问题。"正如TechCrunch的提醒：如果你不关心高风险数学证明的角斗场，别忘了，你的领域可能就是下一个。