数学家联合签署《莱顿宣言》：AI正威胁数学研究核心价值
2026/06/03 21:58阅读量 50
获得国际数学联盟支持的《莱顿宣言》警告，AI通过产生大量看似合理但不可靠的证明、削弱归因、改变激励机制及赋予科技公司过大影响力，威胁数学研究的固有价值。宣言呼吁数学家将AI视为工具而非责任替代品，并警惕数学被滥用于战争、监控等目的。
事件概述
数学家联合发表《Leiden Declaration》（莱顿宣言），该宣言获得国际数学联盟支持，已有数百人签署。宣言警告AI技术的发展正对数学专业构成系统性威胁，可能破坏数学研究的核心价值。
核心问题
- 证明可靠性下降：AI生成的证明与正确数学证明难以区分，给审稿人带来巨大压力。生成AI论文成本低廉，但验证其正确性代价昂贵；若后续研究基于错误前提，错误将被放大。
- 归因与版权侵犯：AI训练基于已有数学论文，但输出时经常不能正确引用来源，同时训练过程普遍存在版权侵犯问题。
- 激励机制冲突：AI驱动的激励机制（如追求产出数量）与数学专业追求严谨和可重复性的价值观背道而驰。
- 科技公司影响力过大：AI赋予了科技公司对研究优先事项过大的控制权，可能扭曲学科发展方向。
宣言呼吁
- 数学家应将AI视为辅助工具，而非人类责任的替代品。
- 个人应公开其在研究中使用AI的情况，并对工作的正确性承担责任。
- 数学可能被用于战争、压迫、大规模监控和破坏民主，因此数学家需谨慎权衡与科技行业合作的伦理问题。
宣言全文可访问 Leiden Declaration 官网。