Leiden Declaration on Artificial Intelligence and Mathematics

London Mathematical Society 发布 Leiden Declaration，讨论 AI 在数学研究中的角色。页面说明声明源自 2025 年 Lorentz Center Leiden workshop，并咨询了国际研究者；声明列举 AI 在数学中的使用，包括 proof formalisation，同时提醒其可能改变既有研究实践。它的语气不是拒绝 AI，而是要求数学共同体明确规范、责任和评价方式。