物理

《莱顿宣言》白芥摘读

最近，一份由国际数学联盟（IMU）正式背书的《人工智能与数学莱顿宣言》在数学圈引发广泛讨论。

它不一味反对排除AI参与数学研究，且明确划出了一条底线：数学的灵魂是人的理解与责任，而非机器的自动生成。

原文极长且修辞复杂，这里白芥精心摘选出比较重要的几个建设性观点 并提供相关翻译，与大家分享

1. 数学的传统价值，为什么值得守护？

原文：“Mathematical proofs are regarded as conferring the highest degree of certainty to their conclusions, as well as imparting understanding of why their conclusions are true.”

翻译：数学证明被视为对其结论赋予最高程度的确定性，同时也能让人理解结论为何为真。

原文：“Results are attributable to specific authors who take credit for their discovery and assume responsibility for their correctness.”

翻译：研究成果归属于特定的作者，他们因发现而获得荣誉，并对成果的正确性承担责任。

数学不只是“对错”，更关乎“理解”和“信任”。每一个定理背后，都有具体的人为之负责。

2. 我们正在面临的现实威胁

原文：“Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.”

翻译：当前的自动化技术能够产生看似合理但不可靠（甚至错误）的论证，且难以与正确的数学证明区分开来。

更麻烦的是，AI 训练大量吞噬已发表的数学文献，却常常不恰当地引用或归属：

原文：“Models trained on published works frequently return outputs that do not properly cite the human works they synthesize.”

翻译：在已发表作品上训练的模型，其输出结果往往不能恰当地引用它们所综合的人类作品。

长期来看，商业资本的介入可能扭曲研究方向：

原文：“The increasing involvement of technology companies in mathematical research raises the risk that research questions may come to be prioritized because of their amenability to automated mathematics, rather than expert judgment of their deeper significance.”

翻译：科技公司越来越多地参与数学研究，增加了研究问题可能因为易于被自动化处理而被优先考虑的风险，而非依据专家对其深层意义的判断。

3. 宣言对数学家的明确要求：披露、担责、署名

原文：“Transparently disclose the use of automated tools... Include a ‘Tool and computational resource disclosure’ section in your papers.”

翻译：透明地披露自动化工具的使用情况，在论文中增设“工具与计算资源披露”章节。

原文：“The responsibility for the correctness... remains exclusively with the human authors.”

翻译：论证与结果的正确性和充分性，其责任完全由人类作者承担。

原文：“Credit and responsibility continue to belong to humans within the mathematical community and should not be given to automated systems.”

翻译：荣誉与责任继续属于数学共同体中的人类，不应归于自动化系统。

简单说：用 AI 可以，但必须公开；出了错，你负责；署名，只给人。

4. 对机构和政策制定者的呼吁

宣言建议出版机构保护作者版权，未经同意不得将作品用作 AI 训练数据，同时支持建立独立于产业界的公共研究实验室，以及投资公共计算基础设施。

尤其值得玩味的是这一条：

原文：“Don’t believe the hype... Consult with experts, including mathematicians, in forming policy decisions rather than relying on press releases or popular reporting.”

翻译：不要轻信炒作。在制定政策决策时，应咨询包括数学家在内的专家，而非依赖新闻稿或大众媒体报道。

截至今天，已有超过 3000 位数学家签署支持，包括陶哲轩、舒尔茨等知名学者。如果你对这些内容感兴趣，不妨去官网读一读全文。