Leiden Declaration on Artificial Intelligence and Mathematics

The Leiden Declaration details AI's role in mathematical research including proof formalization and automated result generation. It identifies concerns about result reliability attribution and peer review practices. Researchers must disclose AI use and ensure result accuracy while citing prior work. Professional bodies and funders are advised to establish AI policies in publication and review. Policymakers face questions on regulation and public investment in AI math infrastructure.