tech
Mathematicians issue Leiden Declaration against AI misuse of their work
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.

TL;DR
- The Leiden Declaration, endorsed by the International Mathematical Union, addresses AI's impact on mathematics.
- It criticizes AI companies for training models on research without consent, bypassing peer review, and distorting research priorities.
- Five threats are identified: unreliable AI-generated proofs, lack of proper citation, incentivization of AI for its own sake, results announced before peer review, and a threat to mathematical autonomy.
- Recommendations include mathematicians disclosing AI use, organizations protecting authors' rights, and policymakers urging caution against AI hype.
- Key signatories include Peter Scholze and Kevin Buzzard, highlighting the declaration's significant weight within the mathematical community.