16 国数学家签署《莱顿宣言》，警示 AI 挑战数学核心价值

来自全球 15 所大学的 16 名数学家联合发布《莱顿宣言》，警示人工智能正在挑战数学的可靠性、署名权、公平性与研究自主性。该宣言源自 2025 年 9 月荷兰莱顿大学的研讨会，约 60 名来自 10 国的专家参与讨论，并获得国际数学联盟等机构背书。

宣言指出，数学不仅是结果集合，更是培养理解与判断力的人类活动。AI 被用于辅助论文写作、生成证明和同行评审，但可能削弱证明的严谨性、署名秩序与学术责任。宣言列出五类威胁，包括 AI 生成的证明可能含隐蔽错误、模型未引用人类成果、昂贵工具扩大研究者差距等。

资源差距是核心问题之一。能使用先进 AI 和高价算力的研究者可能占优，而无法使用或不愿使用相关技术的研究者可能处于弱势。宣言还担忧，AI 数学成果被过度宣传，可能高估 AI 能力，低估人类贡献，导致数学界优先追逐易自动化的问题，边缘化深度研究。

宣言并未要求禁止 AI，而是呼吁数学共同体建立清晰规范，确保工具服务学科，而非削弱其核心价值。