25位顶尖数学家联合签署一份公开信，认为AI实验室之间为了在解决著名数学难题上争先而相互竞争，正在威胁他们的知识劳动成果。每位签署者都曾获得菲尔兹奖，这是数学领域最具声望的奖项。
本周，纽约大学教授特里斯坦·巴克曼指控OpenAI向他施压，要求他不要为一位在Anthropic工作的合作者在解决一个重要数学问题上的贡献署名，他还怀疑该公司是否利用了他们与Codex的合作成果，在一个马拉松式的推理周末中制造出自己的突破性证明。
周四，OpenAI在受到加州理工学院研究人员的批评后，撤回了对该校一场数学活动的赞助。
尽管AI模型解决世界顶尖数学难题的能力可能造福人类，但这份新公开信的签署者认为，只有当这些解决方案能被数学界理解和传播，并最终惠及整个世界时，这种益处才能真正实现。
“这些解决方案往往是仓促宣布的，没有时间进行恰当的书面记录，没有厘清新方法和新思想，也没有引用他人相关的既有工作，”他们写道——而OpenAI的证明至今仍未被验证。“正如所有创造性行业一样，这引发了严重的归属和抄袭问题。此外，如果没有愿意投入精力将其发展完善并融入数学体系的数学家，AI构想出的想法将永远无法真正获得生命力，数学家之间至关重要的人类知识传承链条也将随之断裂。”
随着越来越多数学家开始感到不安，担心自己使用Codex的记录会被反过来用于训练OpenAI的新模型，人们真切地担忧开放研究的文化将受到威胁。如今，如果前沿实验室发现某个有价值的研究方向，他们可以耗费数千万美元利用大语言模型抢在原始研究者之前完成证明——这种局面将激励人们转向保密而非开放。
这份公开信是在6月一个数学家工作组发布的《莱顿宣言》之后发出的。该文件同样探讨了大语言模型证明将如何改变他们的工作方式，并为数学家、研究机构和政策制定者提出了一系列建议。
正如软件工程等领域正在经历AI工具带来的工作流程变革一样，数学家们也在“工作之外的工作”中找到了自身价值的依据：数学的价值不仅在于证明本身以及归属于谁，更在于滋养学生成长、发现新问题与新思路，并将其融入更广泛人类文明的知识体系。
如果你并不特别关心这场高风险数学证明竞争中的残酷角逐，也别忘了：下一个受到冲击的，可能就是你所关注的领域。
“数学界目前面临的问题，与其他科学和创意行业所面临的问题类似，也预示着全人类可能面临的问题：随着AI改变工作方式，我们该如何确保不会忘记这项工作最初的意义所在，”他们写道。
Q&A
Q1：为什么数学家们联合签署公开信反对AI实验室？
A：因为AI实验室为了在数学难题上抢先突破，仓促公布未经充分验证的证明，忽视了对合作者的署名和对已有研究的引用，引发了归属和抄袭问题，也威胁到开放研究的文化。
Q2：OpenAI在这场争端中做了什么引发争议的事？
A：OpenAI被指控向数学家施压，要求不为其Anthropic合作者署名，并被怀疑利用Codex合作成果生成自己的证明。此外，OpenAI还在受到批评后撤回了对加州理工学院一场数学活动的赞助。
Q3：《莱顿宣言》是什么？
A：《莱顿宣言》是2025年6月由数学家工作组发布的文件，探讨大语言模型证明将如何改变数学研究工作，并为数学家、研究机构和政策制定者提出了应对建议。
