Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai) AI

The Leiden Declaration on Artificial Intelligence and Mathematics calls on the mathematical community to address risks from AI tools—such as unreliable or opaque proofs, weakened attribution, and shifting incentives—while urging transparent tool disclosure, support for peer review, adherence to open-science principles, and continued human responsibility for correctness and authorship.