Leiden Declaration on Artificial Intelligence and Mathematics

Signed following a 2025 Lorentz Center workshop, the Leiden Declaration calls on mathematicians to disclose AI tool usage, take personal responsibility for correctness of AI-assisted results, and ensure proper attribution when proprietary models contribute to findings. It urges funders and journals to maintain existing peer review standards and develop explicit AI policies, while flagging reliability of auto-generated proofs and commercial influence over mathematical infrastructure as core concerns.