2026年《人工智能与数学莱顿宣言》重塑AI与数学的关系

《人工智能与数学莱顿宣言》，由荷兰莱顿大学洛伦茨研究中心发起，2026年6月2日由国际数学联盟正式发布，已有超1800位数学家（含多位菲尔兹奖得主）签名支持，是数学界应对AI冲击的集体共识。

AI已深度渗透数学研究，但同时带来成果可靠性存疑、署名不规范、同行评审承压、资源分配不均等问题，威胁数学学科的核心发展逻辑。

（1）证明是数学的基石‌，理解与表述的清晰性至关重要；

（2）成果明确归属‌，创作者对内容全权负责；

（3）结论可独立复现验证‌，保障学术透明；

（4）以深度、学术价值作为评价标尺‌，不唯速度和数量；

（5）数学发展需保持人类自主探索权‌，避免被AI和资本裹挟。

核心主张‌：AI应当作为数学家的研究助手，而非主导；最终对数学的理解、判断和创造必须属于人类，呼吁规范AI在数学研究中的使用，守住数学学科的本源价值。

（1）结论可靠性隐患‌：自动化工具可生成看似严谨、实则错误的推导，原始定义粗糙就会导致机器校验结果失真，破坏评审体系基础；

（2）文献溯源与署名体系受损‌：多数AI依托海量已发表文献训练却不遵循版权与引证规范，生成内容整合前人成果但缺失标注，动摇传统署名规则；

（3）科研激励机制失衡‌：适配AI的课题更容易获得资源，无法负担高端算力、不愿使用商业闭源AI的科研人员被边缘化，评价规则畸形；

（4）学科自主性被侵蚀‌：科技企业入局后，研究选题转向易被AI求解的方向，冷门重要分支被忽视，数学发展易被资本裹挟；

（5）衍生伦理风险‌：存在将数学成果用于训练军事、监控类AI系统的隐患，无序发展会让数学家被动成为有害技术的助推者。