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
Explore this link on the map →saved by
related reading
- Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
- Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
- 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
- Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
- [2603.26524] Mathematical methods and human thought in the age of AIarxiv.org
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Knowledge Collapse - Boston Reviewbostonreview.net
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- Mathematical methods and human thought in the age of AIarxiv.org
- LessWronglesswrong.com
- The machines are fine. I'm worried about us.ergosphere.blog
- Solve math, solve everything. — Math, Inc.math.inc