16 名数学家起草《莱顿宣言》，警告 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 使用倾斜；而无法使用或不愿使用相关技术的研究者，可能在学术竞争中处于弱势。宣言还担心，AI 数学成果经由新闻稿和博客放大宣传，会高估 AI 能力，低估人类既有贡献。若技术企业影响增强，数学界可能优先追逐易自动化、利于展示产品的问题，导致边缘化真正具有深度的问题。IT之家附上参考地址AI 人工智能与数学莱顿宣言