Leiden Declaration on Artificial Intelligence and Mathematics (lms.ac.uk) AI

The London Mathematical Society has published the Leiden Declaration on Artificial Intelligence and Mathematics, developed from a 2025 workshop, addressing how AI is being used in math research—such as formalising proofs—along with concerns about reliability, attribution, and impacts on publishing and peer review. The document recommends actions for individual researchers, professional bodies and funders, and policymakers, including disclosing AI use, ensuring correctness, developing publication/review policies, and considering regulation and public investment.