Mathematicians Release Leiden Declaration Addressing AI Risks in Mathematics
A group of researchers has published the Leiden Declaration on Artificial Intelligence and Mathematics, highlighting concerns about the impact of AI on mathematical research. The declaration, developed after a 2025 workshop at the Lorentz Center in Leiden, has garnered over 130 signatories. It addresses issues such as the reliability of AI-generated proofs, the need for proper attribution when using proprietary models, and the effects on peer review and publication practices. The document includes recommendations for researchers, professional bodies, funders, and policymakers, emphasizing the importance of disclosing AI use and maintaining rigorous review processes. The declaration aims to ensure that AI supports rather than undermines the integrity of mathematical research. 
