由15所大学的16名数学家联合撰写的《莱顿宣言》警示AI正挑战数学研究的可靠性、署名、公平性与自主性。宣言源于2025年莱顿大学的工作坊，并获国际数学联盟等背书，强调数学不仅是结果，更是培养理解与判断力的人类活动，核心价值包括证明的高确定性、作者责任、第三方可验证性与共同体评价标准。宣言并不主张禁止AI，而是呼吁建立明确规范，指出五类主要威胁：AI生成的证明可能含隐蔽错误、模型复用未被引用、昂贵专有工具扩大研究差距、媒体高估AI能力以及商业利益可能改变研究议程，特别担忧资源差距导致的学术不平等与研究方向偏移。
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 人工智能与数学莱顿宣言