近日，全球15所大学的16名数学家联合发布了《莱顿宣言》，对人工智能（AI）在数学领域的影响提出警示。该宣言源自2025年9月莱顿大学洛伦兹中心的工作坊，旨在探讨AI对数学可靠性、署名、公平性与研究自主的挑战。宣言强调数学不仅是结果的集合，更是培养人类理解、清晰表达和判断力的活动，其核心价值包括证明的高确定性、作者责任、第三方可验证性、共同体评价标准和自主塑造研究问题的能力。

《莱顿宣言》并未要求禁止AI，而是呼吁数学界建立清晰的规范，以确保AI工具服务于学科发展，而非削弱证明的严谨性、署名秩序与学术责任。宣言指出了五类威胁：AI生成的证明可能含隐蔽错误；模型可能复用人类成果却缺少引用；昂贵专有工具可能扩大研究者间的差距；媒体宣传可能高估AI能力；商业利益可能改变数学议程。宣言特别关注资源差距问题，担心能使用先进专有AI和高价算力的研究者可能占优势，而无法使用或不愿使用相关技术的研究者可能在学术竞争中处于弱势。宣言还担心AI数学成果的宣传可能高估AI能力，低估人类既有贡献，若技术企业影响增强，可能导致数学界优先追逐易自动化、利于展示产品的问题，边缘化真正具有深度的问题。