25 位菲尔兹奖得主联名签署公开信，指责 AI 实验室正在威胁数学界的智力成果。OpenAI 被指控在重大数学问题上动用不光彩手段。
25 位顶尖数学家签署了一封公开信，认为 AI 实验室正在威胁他们的智力工作，因为这些实验室竞相用 AI 解决著名数学难题。每位签署者都曾获得过菲尔兹奖——数学界最高荣誉。
本周，纽约大学教授 Tristan Buckmaster 指控 OpenAI 向其施压，要求不将一位在 Anthropic 工作的合作者列为某个重要数学问题的解决者，并质疑 OpenAI 是否利用他们与 Codex 合作的工作成果，在一个漫长的推理周末中产生了自己的突破性证明。
周四，OpenAI 撤回了对 CalTech 一场数学活动的赞助，原因是受到该校研究人员的批评。
虽然 AI 模型解决世界级数学难题的能力可能造福人类，但公开信的签署者认为，只有当这些解决方案能被数学界理解和传播时，这才会成为现实。
「这些解决方案往往是仓促公布的，没有时间进行适当的撰写和引用相关工作，」他们写道——OpenAI 的证明至今未得到验证。「与所有创造性职业一样，这引发了严重的归属和剽窃问题。如果没有数学家负责将其发展和整合，AI 构思的想法将永远无法真正活起来。」
随着其他数学家变得越来越担忧，担心自己的 Codex 使用记录会被输入 OpenAI 的新模型，开放研究文化面临真实威胁。如今前沿实验室可以在研究人员之前花费数千万美元用 LLM 完成证明——这种激励机制将促使研究者转向保密。
这封公开信紧随今年 6 月的《莱顿宣言》。该文件同样探讨了 LLM 证明将如何改变数学工作，并为数学家、机构和政策制定者提供建议。
与软件工程和其他被 AI 改变的工作领域一样，数学家们找到了工作之外的价值所在：数学的价值不仅在于证明和荣誉归属，还在于滋养学生、发现新问题并将其融入人类文明的智力上层结构。
来源：TechCrunch
