16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
阅读原文· ithome.com来自全球15所大学的16名数学家联合撰写《莱顿宣言》，警示AI正挑战数学的可靠性、署名、公平性与研究自主。宣言源自2025年9月莱顿大学工作坊，约60人参与，已获国际数学联盟（IMU）背书。宣言强调数学是人类活动，核心价值包括证明高确定性、作者责任等；不禁止AI但呼吁建立规范。列出5类威胁：AI证明含隐蔽错误、模型复用成果缺引用、昂贵工具拉大差距、媒体高估AI能力、商业利益改变议程。资源差距尤为关键，可能倾斜招聘与评价，使无法使用AI的研究者弱势，并导致深度研究被边缘化。
IT之家 6 月 4 日消息，由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration），警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。
《宣言》源自 2025 年 9 月莱顿大学洛伦兹中心的“Mechanization and Mathematical Research”工作坊，约 60 名来自 10 国的数学家、计算机科学家、人文社科研究者和政策人士参与讨论。
该《宣言》已得到国际数学联盟（IMU）等机构背书。
《宣言》强调，数学不只是结果集合，更是培养理解、清晰表达和判断力的人类活动。数学研究的核心价值包括证明带来的高确定性、作者责任、第三方可验证性、共同体评价标准，以及自主塑造研究问题的能力。
《宣言》没有要求禁止 AI，而是呼吁数学共同体建立清晰规范。研究者已用 AI 辅助论文写作、生成证明和同行评审，关键问题在于让工具服务学科，而不是削弱证明严谨性、署名秩序与学术责任。
宣言列出 5 类威胁：
AI 生成的证明可能看似可信却含隐蔽错误；
模型可能复用人类成果却缺少引用；
昂贵专有工具会扩大研究者差距；
媒体宣传可能高估 AI 能力；
商业利益还可能改变数学议程。
其中资源差距也是关键问题。能使用先进专有 AI 和高价算力的研究者可能占优，招聘、资助和评价体系也可能向 AI 使用倾斜；而无法使用或不愿使用相关技术的研究者，可能在学术竞争中处于弱势。