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

• Henry Zimmerman

related reading

• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
• Declaration — Math and AImathandai.org
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• The fall of the theorem economydavidbessis.substack.com
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
• How we can wintasmin.substack.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• [2608.02859] The crisis of AI-generated mathematicsarxiv.org
• The Dark Night of Mathematics - by Kirwin Hampshirekirwinhampshire.substack.com
• The Dark Night of Mathematicssubstack.com
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com