Mathematicians Publish Leiden Declaration on AI Risks to Mathematics

On 2 June 2026, a group of researchers published the **Leiden Declaration on Artificial Intelligence and Mathematics**, a 11-page statement developed after a 2025 workshop at the Lorentz Center in Leiden, the declaration website says. Per Gizmodo, the document had attracted more than **130 signatories** at publication and outlines concerns about the reliability of AI-generated proofs, attribution when proprietary models are used, and impacts on peer review and publication practices. The declaration includes recommendations for individual researchers, professional bodies, funders, and policymakers, such as disclosing AI use and maintaining rigorous review processes, according to the declaration text and coverage by the London Mathematical Society and Scientific American. Newton Institute coverage notes the declaration does not call for an outright ban on AI.