来自全球的逾 130 名数学家于 2026 年 6 月初联署发布《莱顿宣言》(Leiden Declaration on Artificial Intelligence and Mathematics),正式就 AI 对数学学科的冲击发出集体警告。宣言由莱顿大学 2025 年 9 月举办的专题会议发端,历时约八个月起草,并获国际数学联盟(IMU)背书。宣言指出,AI 生成的证明可能看似可信却隐含难以察觉的错误,威胁数学结果的可验证性;AI 大量抓取数学家成果而不予署名,正在侵蚀学术归因传统;商业机构借数学为 AI 产品造势,也在悄然影响研究方向的自主性。
宣言并未呼吁禁止 AI,而是提出三层应对框架:研究者个人须披露 AI 使用情况并对结果正确性负责;学术机构与专业组织应制定政策以维护同行评审与透明度标准;政策制定者则应资助公共 AI 基础设施、支持开放科学。宣言特别提及,早期职业数学家与学生受到的冲击尤为突出,若不加以干预,整个学科的长期健康将受损。宣言已提交至下届国际数学家大会(ICM)议程,期待引发更广泛的机构响应。