近日，一份由16位来自全球15所大学的数学家共同起草的《莱顿宣言》在学术界引发广泛关注。该宣言聚焦人工智能技术对数学研究核心价值带来的潜在挑战，并呼吁数学共同体建立相应的规范与准则。宣言源于2025年9月在莱顿大学洛伦兹中心举办的一场专题研讨会，吸引了来自10个国家的数学家、计算机科学家及政策研究者参与。

宣言明确指出，数学研究不仅是成果的集合，更是培养人类理解力、清晰表达和判断力的重要活动。其核心价值在于证明带来的高确定性、责任、成果的可验证性以及学术共同体自主塑造研究议程的能力。随着AI工具在论文写作、证明生成乃至同行评审环节的广泛应用，如何确保这些工具服务于学科发展，而非削弱数学的严谨性与学术责任，已成为亟待解决的关键议题。

AI对数学研究构成的五类潜在威胁

《莱顿宣言》系统性地指出了人工智能可能对数学研究生态构成的五类潜在威胁。首先，AI生成的数学证明可能看似合理，实则隐藏着难以被人类轻易察觉的逻辑错误，直接挑战了数学证明的可靠性基石。其次，AI模型在训练或生成过程中可能复用已有的人类研究成果，却缺乏恰当的引用，从而引发学术署名与知识产权的争议。

此外，资源获取的公平性问题尤为突出。能够使用先进专有AI工具和高昂算力的研究者可能在竞争中占据优势，而招聘、资助和评价体系也可能不自觉地倾向于那些擅长使用AI的研究者，进而加剧学术不平等。宣言还警示，经由媒体放大的AI数学成果宣传，可能高估AI的实际能力，同时低估人类数学家的既有贡献。

呼吁建立规范以引导技术健康发展

宣言并未要求禁止AI在数学研究中的应用，而是强调数学界必须主动建立清晰的规范与准则。其核心关切在于，如果商业利益和技术企业的导向过强，数学研究议程可能会优先追逐易于自动化、便于展示技术产品的问题，从而使得一些真正具有深度和基础重要性的数学问题被边缘化。

目前，该宣言已获得国际数学联盟等权威机构的背书。它最终呼吁全球数学共同体共同努力，确保人工智能技术的发展能够增强而非削弱数学研究的严谨性、公平性与学术自主性，使工具真正服务于人类对数学真理的探索。