今日发布的莱顿人工智能与数学宣言，关注人工智能（AI）在数学研究中日益增加的作用。该宣言是在2025年在莱顿的洛伦茨中心举行的研讨会后制定的，并与国际研究人员小组进行了咨询。该宣言概述了AI系统在数学中使用的多种方式，包括证明的形式化。它强调了AI可能会影响数学研究中既定实践的担忧。作者识别出几个潜在问题。这些问题包括关于自动生成结果的可靠性的问题、使用经过训练的专有模型的结果的归属，以及新工具对出版实践和同行评审的影响。该文件还讨论了商业组织在这一领域的角色。宣言提出针对不同群体的建议。对于个人研究人员，这些建议包括在他们的工作中披露使用AI工具、对确保结果正确承担责任，并确保对先前工作的适当引用。对于专业机构和资助者，建议制定关于出版和审查中使用AI的政策，并维护现有的审查标准。对于政策制定者，提出了与监管、公共基础设施投资以及在评估有关AI系统的主张时使用专家建议相关的问题。阅读全文宣言 阅读伦敦数学学会关于AI和出版的政策 最后更新：2026年6月2日