由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration），警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。

《宣言》源自 2025 年 9 月莱顿大学洛伦兹中心的“Mechanization and Mathematical Research”工作坊，约 60 名来自 10 国的数学家、计算机科学家、人文社科研究者和政策人士参与讨论。该《宣言》已得到国际数学联盟（IMU）等机构背书。

《宣言》强调，数学不只是结果集合，更是培养理解、清晰表达和判断力的人类活动。数学研究的核心价值包括证明带来的高确定性、作者责任、第三方可验证性、共同体评价标准，以及自主塑造研究问题的能力。

《宣言》没有要求禁止 AI，而是呼吁数学共同体建立清晰规范。研究者已用 AI 辅助论文写作、生成证明和同行评审，关键问题在于让工具服务学科，而不是削弱证明严谨性、署名秩序与学术责任。

宣言列出 5 类威胁：

· AI 生成的证明可能看似可信却含隐蔽错误；

· 模型可能复用人类成果却缺少引用；

· 昂贵专有工具会扩大研究者差距；

· 媒体宣传可能高估 AI 能力；

· 商业利益还可能改变数学议程。

其中资源差距也是关键问题。能使用先进专有 AI 和高价算力的研究者可能占优，招聘、资助和评价体系也可能向 AI 使用倾斜；而无法使用或不愿使用相关技术的研究者，可能在学术竞争中处于弱势。

宣言还担心，AI 数学成果经由新闻稿和博客放大宣传，会高估 AI 能力，低估人类既有贡献。若技术企业影响增强，数学界可能优先追逐易自动化、利于展示产品的问题，导致边缘化真正具有深度的问题。