Mathematicians set rules for AI in research
The Leiden Declaration asks researchers, institutions, governments and industry to protect proof, attribution, transparency and independent verification as AI enters mathematics. It does not call for a ban: it asks people to disclose tool use, remain responsible for correctness and preserve open, humanly inspectable mathematics. The International Mathematical Union endorsed the declaration, and a Nature editorial endorsed both its process and conclusions.
Source 1 of 2
Leiden Declaration
leidendeclaration.ai
The Leiden Declaration asks researchers, institutions, governments and industry to protect proof, attribution, transparency and independent verification as AI enters mathematics.
Open originalSummary
It does not call for a ban: it asks people to disclose tool use, remain responsible for correctness and preserve open, humanly inspectable mathematics. The International Mathematical Union endorsed the declaration, and a Nature editorial endorsed both its process and conclusions.
- 01Leiden Declaration
- 02Nature