Leiden Declaration on Artificial Intelligence and Mathematics
Summary
Leiden Declaration on Artificial Intelligence and Mathematics advocates for responsible AI use in mathematical research, outlining values, threats, and actionable recommendations for individuals, institutions, and policy makers. It highlights concerns about AI-generated proofs, attribution, publishing, and autonomy of mathematics, supported by endorsements from leading figures and 808 signatories as of June 2026.