Leiden Declaration on Artificial Intelligence and Mathematics
Summary
The Leiden Declaration on Artificial Intelligence and Mathematics calls for responsible adoption of AI in mathematical research. Endorsed by the International Mathematical Union (IMU), it outlines core values, identifies threats to proof, attribution, and publishing, and provides actionable recommendations for individuals, institutions, governments, and industry to promote transparency, open science, and human-centered governance in AI-enabled mathematics.