25位菲尔兹奖得主联名发公开信，指AI实验室威胁数学研究
公开信称AI实验室急于宣布未经验证的证明，引发署名与抄袭争议；NYU教授指控OpenAI施压，OpenAI随后撤回对加州理工数学活动的赞助。
25位菲尔兹奖得主签署了一封公开信，认为AI实验室正在威胁数学家的智力工作。这封信发布之际，OpenAI与数学研究者的冲突正在升级。
公开信的核心论点是：AI模型解决著名数学难题可能造福人类，但前提是这些解答能被数学界理解并传播。信中写道：“这些解答常常仓促宣布，没有时间进行适当的书面整理、提炼新方法与新想法，也没有引用他人相关先前工作。”公开信指出，OpenAI的证明仍未经验证。
署名争议与OpenAI撤资
本周，纽约大学教授Tristan Buckmaster指控OpenAI施压，要求他不要为一位在Anthropic工作的合作者署名，这位合作者解决了一个重要的数学问题。Buckmaster还怀疑，OpenAI是否利用他们与Codex的工作成果，在一个周末的马拉松式推理中产出了自己的突破性证明。
周四，OpenAI撤回了对加州理工一场数学活动的赞助。此前，该校研究人员对该公司提出了批评。
公开信写道：“与所有创意职业一样，这引发了严重的署名和抄袭问题。而且，如果没有愿意参与数学发展并将其整合进数学经典的数学家，AI构想出的想法就永远不会真正活起来，数学家之间关键的人类传承链就会断裂。”
研究者担心开放文化让位于保密
随着其他数学家变得越来越偏执，怀疑自己使用Codex的过程是否反过来被喂给了OpenAI的新模型，人们真正担心的是开放研究的文化会受到威胁。
公开信指出，如今如果前沿实验室看到一条有用的发现路径，它们可以花费数千万美元，用大语言模型抢在原研究者之前完成证明。这种动态会激励保密。
这封信延续了6月一个数学家工作组发布的《莱顿宣言》。该文件同样探讨了大语言模型证明将如何改变数学工作，并为数学家、机构和政策制定者提出了一系列建议。
公开信称数学的价值不只在证明和署名
与软件工程及其他被AI工具改变工作流程的领域一样，数学家从“围绕工作的工作”中找到了理由：数学的价值不只是证明和谁获得功劳，还有滋养学生、发现新问题与新想法，并将它们整合进更广泛人类文明的智力上层建筑。
公开信写道：“数学界现在面临的问题，与其他科学和创意职业面临的问题相似，也预示着全人类可能面临的问题：当AI改变工作方式时，如何确保我们不会忘记这项工作最初要实现什么。”