这份题为《莱顿宣言》的文件由全球15所高校的16名数学家联名撰写，明确指出人工智能技术正在对数学研究的可靠原则、作者归属、公平竞争以及研究独立性构成潜在威胁。
这份宣言的诞生，源于2025年9月在莱顿大学洛伦兹中心即将举办的“机械化与数学研究”专题研讨会。届时，预计将有来自十个国家的约60位数学家、计算机科学家、人文学者以及政策制定者参与深入讨论。
目前，《莱顿宣言》已获得了国际数学联盟（IMU）等权威机构的认可与支持。
宣言强调，数学不仅仅是结果的积累，它更是一种人类心智活动，旨在培养深度理解、清晰表达和批判性判断能力。数学研究的核心精神在于其证明所带来的高度确定性、研究者必须承担的责任、成果可被第三方独立验证的特性、同行评审的共同体标准，以及独立提出研究问题的能力。
宣言并非主张全面禁止AI技术，而是倡导数学共同体建立一套明确的行为规范。当前，研究人员已开始运用AI辅助论文撰写、证明生成以及同行评审等环节。核心要点在于如何有效利用这些工具来促进学科发展，避免它们削弱证明的严谨性、作者署名的秩序以及学术责任的履行。
宣言详细列举了人工智能可能带来的五类潜在风险：
AI生成的证明虽然表面看似可靠，但可能隐藏着难以察觉的错误。
AI模型在复用人类研究成果时，可能出现引用缺失的状况。
昂贵的专属AI工具可能加剧研究者之间的资源不平等。
媒体宣传可能过度夸大AI在数学领域的能力。
商业利益的驱动有可能改变数学研究的优先议程。
其中，资源分配不均被视为一个关键问题。那些能够接触尖端专属AI工具和昂贵计算资源的研究者可能会在学术竞争中占据优势。相应的，招聘、资助和评价体系也可能日渐倾向于支持AI技术的应用。反之，那些无法或不愿使用这些技术的学者，则可能在学术竞争中处于不利地位。
宣言还担忧，当AI在数学领域取得的成果通过新闻发布和博客等渠道被放大宣传时，很可能导致对AI能力的过高评估，并低估人类已有的重要贡献。如果技术企业的影响力持续增强，数学界可能会被迫优先关注那些易于自动化或有助于展示产品性能的问题，从而导致真正具有深度的核心数学问题被边缘化。