数学家警告：AI 正威胁数学研究，行业影响引发《莱顿宣言》
核心结论
国际数学联盟（IMU）于 2026 年 6 月 2 日正式发布《莱顿宣言》，公开警示人工智能对数学研究构成的系统性威胁。这份由 16 位研究者历经八个月起草的宣言，已被 IMU 背书，并获得数百名数学家签名支持。
背景：AI 的“入侵”已非假设
宣言的发布时机耐人寻味——就在两周前，OpenAI 公开宣称其 AI 模型推翻了一个存在 80 年之久的几何猜想。这标志着 AI 不再只是数学家的辅助工具，而是开始直接参与数学发现的核心环节。帝国理工学院数学家 Kevin Buzzard 指出：“数学家们应该震惊地发现，科技公司突然对他们的工作产生了浓厚兴趣。”《莱顿宣言》正是对这一趋势的深思熟虑回应。
两大核心威胁
1. 不可靠的“伪证明”泛滥
宣言指出，AI 模型能够生成“看似合理但不可靠（甚至错误）的论证”，这些论证难以与正确的数学证明区分。这给审稿人带来巨大压力，并“危及我们对证明正确性、透明性和独立可验证性的传统标准”。牛津大学计算机科学系主任 Leslie Ann Goldberg 警告：“不准确的 AI 生成草稿制作成本极低，存在用错误结论污染文献的风险。一旦发生，错误将随着新结果建立在错误基础上而扩散。”
2. 学术引用的伦理困境
宣言同时强调，基于已发表作品训练的模型，其输出经常未能恰当引用所综合的人类工作。这不仅模糊了学术贡献的归属，更可能加速“无源知识”的传播，损害数学研究的公信力。
对行业与学科的影响
宣言特别关注 AI 对学生和早期职业数学家的不成比例影响。这些群体更可能依赖 AI 工具，也更容易因学术规范松动而丧失独立研究能力。长期来看，这将威胁整个学科的未来。
结语
《莱顿宣言》并非全盘否定 AI 的价值，而是呼吁数学界在拥抱技术的同时，守住学术诚信的底线。它要求科技公司、学术机构和资助者共同制定准则，确保 AI 在数学领域的应用透明、可审计且尊重人类贡献。这场博弈的结果，将定义未来数学研究的走向。