数学界发布莱顿宣言：规范AI在科研中的应用与责任

近日，伦敦数学会正式发布了《人工智能与数学莱顿宣言》。该文件源于2025年在莱顿洛伦兹中心举行的国际研讨会，汇集了全球专家的共识，旨在应对AI技术在数学研究领域日益增长的应用及随之而来的挑战。宣言详细梳理了AI在数学工作中的多种应用形式，尤其是利用机器学习辅助形式化证明的生成。然而，技术便利性也引发了学术界对既有科研规范的深刻反思。宣言核心关切点在于：自动生成数学结论的可靠性验证、使用商业专有模型生成成果的知识产权归属、以及AI工具如何重塑现有的学术出版流程与同行评审机制。针对这些问题，文件为不同主体提供了行动指南：建议科研人员主动披露AI工具使用情况并承担最终核验责任；建议专业机构制定明确的出版与评审政策，确保审查标准不因技术介入而降低；建议决策者关注相关监管法规与公共基础设施建设，确保在利用AI加速数学发现的同时，维护学术界的诚信与透明度。

事件分析

💡 核心观点：莱顿宣言确立了AI辅助科研的伦理底线，强调在追求效率的同时，必须坚守验证的严谨性与成果的透明度。