25位享有盛誉的数学家联名发表公开信，指出人工智能实验室在竞相解决著名数学难题的过程中，正在威胁他们的知识产权。这些签名者均获得过被誉为数学界最高荣誉的菲尔兹奖。

本周，纽约大学教授特里斯坦·巴克马斯特指责OpenAI施压他，不让他在解决一项重要数学问题时，承认其合作者——一位Anthropic公司的研究员的贡献。他还质疑OpenAI是否利用与Codex的合作，在一个周末的长时间推理中，生成了自己的突破性数学证明。

周四，OpenAI因受到加州理工学院研究人员的批评，宣布撤销对该校数学活动的赞助。

尽管AI模型解决全球重大数学难题的能力可能惠及人类，但公开信的签署者强调，只有当这些解决方案能够被数学界乃至全世界理解和传播时，这种价值才能实现。

他们写道：“这些解决方案往往匆忙发布，缺乏充分的撰写、方法和思想的独立阐述，以及对相关前人工作的引用。”而OpenAI的证明尚未得到验证。“正如所有创造性职业一样，这引发了严重的归属权和抄袭问题。此外，没有愿意的数学家来负责这些成果的发展和纳入数学经典，AI构思的想法永远无法真正生根，数学家之间关键的人类传承链也将断裂。”

随着更多数学家开始担心他们使用Codex的工作是否被反向用于训练OpenAI的新模型，开放研究的文化正面临威胁。如今，前沿实验室若发现有利于突破的路径，可能会投入数千万美元利用大型语言模型抢先完成证明，这种动态将促使研究更加保密。

这封公开信紧随6月数学家工作组发布的《莱顿宣言》之后，该宣言同样探讨了大型语言模型证明对数学工作的影响，并为数学家、机构和政策制定者提出了建议。

正如软件工程及其他领域中AI工具改变工作流程一样，数学家们认为数学的价值不仅在于证明本身及其归属，更在于支撑学生成长、发现新问题和思想，并将其融入人类文明的知识体系。

如果你对高风险的数学证明领域不感兴趣，也请记住：你的领域很可能就是下一个面临类似挑战的领域。

他们写道：“数学界当前面临的问题与其他科学和创意职业所遇到的问题相似，也预示着全人类可能面临的挑战：如何确保在AI改变工作方式的同时，不丢失这些工作的初衷和意义。”