A list of principles put forth by mathematicians, for mathematicians and other researchers, regarding the use of AI in research. "Number #9 will surprise you!" leidendeclaration.ai
- The Leiden Declaration, released June 2, 2026, warns AI threatens proof integrity, attribution, and peer review in mathematics.
- Over 2,654 signatories including Fields Medal winner Terence Tao have endorsed the community-initiated declaration.
- The International Mathematical Union backs the declaration, which makes separate recommendations to researchers, publishers, policymakers, and AI developers.