莱顿宣言警告AI可能削弱数学界

关键信息

宣言重点指出五类风险：AI生成的论证看似像证明却可能不可靠、对人类工作引用不足或不当、激励机制扭曲招聘和资助、以新闻稿或博客取代正式科研披露，以及对科技公司的依赖不断加深。它还警告说，因更适合商业系统处理而受到偏好的研究方向，可能会改变数学研究的优先级。

资讯摘要

数学界近日发布了一份正式声明，警告AI以及科技行业对这一领域日益加深的影响。2026年6月2日，《人工智能与数学莱顿宣言》正式公布，此前一个由16名研究人员组成的工作组在完成了长达8个月的起草后，推出了这份文件；他们的工作始于2025年9月在莱顿大学举行的一场会议之后。该宣言已经吸引了数百名签署者，并获得国际数学联盟的支持；国际数学联盟负责组织重要数学活动，也管理包括菲尔兹奖在内的顶级奖项相关事务。帝国理工学院的凯文·巴扎德表示，数学家应当对科技公司突然对他们的工作表现出浓厚兴趣感到警惕，而这份宣言正是对当前变化的一种深思熟虑的回应。宣言首先指出，AI模型可能生成看似合理、却实际上错误的数学论证，而且这些内容与真正的证明非常难区分，这会给审稿人带来更大压力，并削弱正确性、透明性和可独立验证这些传统标准。

它还指出，许多模型无法恰当地引用它们综合的人类研究成果，而且一些模型的训练数据可能来自有争议的许可安排，甚至直接侵犯版权。除技术准确性之外，文件还警告说，AI的使用可能因为“使用本身”而被鼓励，从而影响招聘、资助和学术认可，同时把那些无法使用，或不愿使用由价值观不同的公司控制的系统的研究者排除在外。宣言还批评一些数学成果通过新闻稿或博客等非正式渠道传播，却没有提供足够的研究披露信息供科学评估，这种做法容易让媒体报道过度夸大AI工具的重要性，并掩盖此前人类研究者的贡献。最后，宣言认为科技公司越来越深地参与数学研究，可能威胁数学的自主性；在大学预算承压的背景下，研究人员可能更容易接受与科技公司的不对等合作，而那些更适合AI驱动方法的问题也可能因此被优先研究。

来源与参考

1. 原始链接
2. Mathematicians warn of AI threats to profession as industry encroaches