# 16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任

- 来源：IT之家（RSS）
- 发布时间：2026-06-04 14:27
- AIHOT 分数：61
- AIHOT 链接：https://aihot.virxact.com/items/cmpz5q4hh00idslkpnqeckchk
- 原文链接：https://www.ithome.com/0/959/862.htm

## AI 摘要

来自全球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 使用倾斜；而无法使用或不愿使用相关技术的研究者，可能在学术竞争中处于弱势。

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

IT之家附上参考地址

AI 人工智能与数学莱顿宣言