关于人工智能与数学的莱顿宣言

2026年6月2日，伦敦数学学会正式发布了《关于人工智能与数学的莱顿宣言》。这份重要文件源自2025年在荷兰莱顿洛伦兹中心举办的一场专题研讨会，并在国际研究团体的广泛协商下最终形成。该宣言旨在深入探讨人工智能在数学研究中日益增长的角色，并为数学界负责任地使用AI提供明确指导。

随着近年来人工智能技术的飞速发展，特别是大规模语言模型和自动定理证明系统（如DeepMind的AlphaProof）的出现，AI已经渗透到数学研究的多个方面。宣言指出，当前AI系统被广泛应用于数学领域，包括自动证明形式化、猜想生成、符号计算等。然而，这种技术变革也引发了一系列深刻关切。

宣言重点列举了多个关键问题。首先是自动生成结果的可靠性：AI输出的证明或计算是否值得信赖？当结果源自专有模型时，其归属权该如何界定？新工具对传统的出版实践和同行评审机制会产生怎样的冲击？此外，商业机构在数学研究中的参与和利益也值得警惕。这些问题若不妥善处理，可能动摇数学研究的核心基石。

针对上述挑战，宣言面向不同群体提出了具有针对性的建议。对于个体研究人员，宣言强调应当主动披露AI工具的使用情况，并对结果的正确性承担最终责任；同时要求恰当地引用前人的研究成果，避免不当使用。对于专业学会和资助机构，宣言建议制定明确的AI使用政策，尤其是在出版和评审过程中，同时保持现有的学术审查标准不变。对于政策制定者，宣言呼吁关注AI监管框架、加大公共基础设施投资，并借助专家意见来评估AI系统声称的能力。

宣言最后提供了完整文件及伦敦数学学会AI出版政策的链接。这份宣言不仅是一份政策建议，更是数学界面对AI浪潮的一次集体宣言，其影响将深远地塑造未来数学研究的生态。