莱顿人工智能和数学宣言
一句话看懂：国际数学研究者群体在荷兰莱顿发布了一份宣言，正式提出AI工具在数学研究中可能引发的可靠性、归属权和评审机制问题，并建议研究者、学术机构和政策制定者制定相应规范。
事件核心：发生了什么
2025年，荷兰莱顿Lorentz中心举办了AI与数学专题研讨会。会后，由伦敦数学学会等机构牵头，联合国际研究者共同起草了《莱顿人工智能和数学宣言》，并于2026年6月2日正式公开。该宣言列出了AI在数学研究中已实际应用的场景，包括辅助定理证明的形式化、自动生成数学论证等。文件中系统性地指出了几个突出问题：自动生成结果的可信度验证、使用闭源商业模型（如GPT-4o、Claude等大语言模型）产出的成果如何归属、以及AI工具对传统同行评议和出版流程的冲击。宣言没有点名任何具体公司，但明确提出了对商业组织介入研究流程的担忧。目前该宣言已在伦敦数学学会官网全文发布。
为什么重要
这是学术界首个针对数学研究领域系统性地回应AI冲击的共识文件。与生成图像或代码的应用不同，数学研究依赖严格的逻辑推理和可复现性，AI若能直接产出论证，将对整个学科的根基——证明的可信度——产生根本影响。宣言意味着数学学科内部开始主动界定AI可介入的边界，而非被动等待商业化工具改变规则。它向AI行业释放的信号是：在科研领域部署AI系统，不仅需要考虑算力和模型效果，还必须与专业社群的审核机制和引用规范兼容。
对用户/开发者/创作者的影响
对于AI大模型开发者和API服务商，宣言意味着在面向科研场景推广产品时，需要更明确地披露模型训练数据和推理过程，否则可能被专业社群限制使用。对于使用AI加速研究的数学专业用户，宣言建议他们须主动披露AI工具的使用情况，并对结果的正确性承担最终责任——即便输出来自闭源模型，作者也不能转嫁责任。对AI辅助工具（如Lean、Coq等定理证明器）的创作者而言，这是正面信号：如果能提供可验证的推理路径和引用来源，反而更可能被学界接受。对于负责科研经费分配和出版审核的机构，宣言建议他们尽快制定评估AI产出的具体政策。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
第一，伦敦数学学会等机构是否会根据宣言更新对期刊投稿的具体AI使用条款，将直接影响模型创作内容的归属判断。第二，开源数学推理模型（如DeepSeek等）的开发者是否公开训练数据并接受检验，可能成为能否进入学术出版流程的关键条件。第三，政策制定者是否会据此对商业AI公司提出更明确的透明性要求，例如必须披露训练数据中数学论文的具体来源，将决定研究工具的商业化走向。
