Great to see @mbarany.com here: 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.