25位顶尖数学家签署了一封公开信，辩称AI实验室在竞相解决著名数学问题以压倒对方时，正威胁着他们的智力工作。每位签署者均获得过菲尔兹奖，这是数学界最负盛名的奖项。
本周，纽约大学（NYU）教授特里斯坦·布克马斯特指控OpenAI施压他不要为在Anthropic工作的合作者因解决重要数学问题而署名，并质疑该公司是否在其Codex项目中使用过他们的工作，从而在一个马拉松式的推理周末里产生了其自身的突破性证明。
周四，OpenAI撤回了其对加州理工学院（CalTech）一场数学活动的赞助，此前该公司因受到该校研究人员的批评。
虽然AI模型解决世界未决数学挑战的能力可能造福人类，但新信的签署者认为，只有当这些解决方案能够被数学界乃至最终被全世界理解和传播时，情况才会如此。
“通常这些解决方案是在仓促中宣布的，没有时间为适当的撰写、新方法与新思想的提炼以及引用他人相关先前工作留出时间，”他们写道——而OpenAI的证明仍未得到验证。“如同所有创造性职业一样，这引发了严重的归属权和抄袭问题。此外，如果没有愿意负责其发展并将其融入数学正统体系的数学家，由AI构思的想法就永远不会真正活起来，数学家之间至关重要的传承链条也将丢失。”
随着其他数学家变得多疑，并怀疑他们对Codex的使用反过来被输入到OpenAI的新模型中，人们真实地担心开放研究的文化将受到威胁。如今，如果前沿实验室看到通向发现的有用路径，他们可以花费数千万美元利用大型语言模型（LLM）击败原始研究人员率先获得证明——这种动态将鼓励保密。
这封信紧随《莱顿宣言》，该文件由一个数学家工作组于六月发布。这份文件还探讨了大语言模型（LLM）生成的证明将如何改变他们的工作，并为数学家、机构和政策制定者提供了一套建议。
与软件工程和其他AI工具正在改变工作流程的领域一样，数学家们从“工作本身的价值”中找到了正当性：数学的价值不仅仅在于证明和谁获得荣誉，更在于其智力上层建筑——它滋养学生、发现新的问题和想法，并将它们融入更广泛的人类文明之中。
如果你对高风险数学证明那种残酷竞争的世界并不特别关心，也别忘了：你所在的领域将是下一个受到影响的。
他们在文中写道：“数学界目前面临的问题与其他科学和创意行业所面临的问题相似，并预示着全人类可能面临的所有问题：在人工智能改变工作方式的同时，我们如何确保不迷失最初工作的目标？”