OpenAI与数学家的争执愈演愈烈

25位菲尔兹奖得主联名发公开信，矛头直指OpenAI等AI实验室。这封公开信的核心指控是：AI公司为了在著名数学难题上抢先出风头，正在威胁数学家的知识产权和学术生态。菲尔兹奖被视为数学界的诺贝尔奖，25位得主集体发声，分量不言而喻。而就在本周，纽约大学教授Tristan Buckmaster公开指控OpenAI施压他，要求他不要感谢一位在Anthropic工作的合作者——这位合作者参与解决了一个重要数学问题。Buckmaster还怀疑，OpenAI是否利用他们与Codex的交互成果，在一个周末的马拉松式推理后产出了自己的突破性证明。周四，OpenAI在遭到加州理工学院研究人员批评后，撤回了对该校一个数学活动的赞助。这一系列事件表明，OpenAI与数学界的矛盾正在快速升级。 这场冲突的根源在于AI证明数学定理的方式引发了学术伦理危机。公开信签署者指出，AI模型解决数学难题本可以造福人类，但前提是这些解法能被数学界乃至全世界理解和传播。他们写道：“这些解法往往仓促发布，没有时间做正式撰写、提炼新方法和新思想、引用他人相关工作。”而OpenAI的证明至今未经同行验证。这带来了严重的署名和剽窃问题——就像所有创造性职业一样。更关键的是，如果没有数学家愿意投入精力去完善和整合这些成果，AI提出的想法永远无法真正融入数学体系，数学家之间的人类传承链条也将断裂。一些数学家已经开始变得偏执，担心自己使用Codex的过程反过来被喂给了OpenAI的新模型。这种担忧并非空穴来风：如果前沿实验室看到一条有用的发现路径，他们可以花费数千万美元用大语言模型抢先于原始研究者完成证明——这种动态将激励保密而非开放。这封公开信是对6月发布的《莱顿宣言》的跟进，该宣言同样探讨了LLM证明将如何改变数学工作，并向数学家、机构和政策制定者提出了建议。和软件工程等被AI改变工作流的领域一样，数学家们在“工作之外的工作”中找到了辩护理由：数学的价值不仅在于证明和谁获得荣誉，更在于滋养学生、发现新问题和新思想、并将其融入更广泛人类文明的智力上层建筑。公开信最后警告：如果你不关心高风险数学证明的残酷竞争，别忘了，你的领域就是下一个。“数学界现在面临的问题，与其他科学和创造性职业面临的问题类似，也预示着全人类可能面临的问题：在AI改变工作方式的过程中，如何确保我们不迷失工作原本要达成的目标。”