The world’s mathematicians just issued a formal declaration telling AI companies to stop using their work without permission
The IMU-endorsed Leiden Declaration warns that AI threatens proof integrity, attribution, and research autonomy, calling on mathematicians to protect their discipline from corporate exploitation.
TL;DR The Leiden Declaration on Artificial Intelligence and Mathematics, endorsed by the International Mathematical Union and signed by Fields Medal recipient Peter Scholze, calls on mathematicians to confront how AI companies are using published research without consent, bypassing peer review, and threatening the integrity of proof and attribution. A coalition of mathematicians from institutions including Oxford, Cambridge, ETH Zurich, Columbia, and Northwestern has published a formal declaration calling on the mathematical community to confront the threats that artificial intelligence poses
saved by
related reading
- Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
- Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- The fall of the theorem economydavidbessis.substack.com
- Declaration — Math and AImathandai.org
- How we can wintasmin.substack.com
- Look, Mom, I pressed a button!galoisrepresentations.org
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- [2608.16753] Mathematics in the age of AIarxiv.org
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- [2608.02859] The crisis of AI-generated mathematicsarxiv.org
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io