Mathematicians Issue Leiden Declaration to Safeguard Discipline as AI Reshapes Field
Key Takeaways
- ▸Sixteen researchers from fifteen universities published the Leiden Declaration, calling for community norms rather than AI bans in mathematics
- ▸Declaration identifies five specific threats: unreliable proofs, attribution violations, researcher inequality, overhyping, and loss of autonomy
- ▸International Mathematical Union formally endorsed the position, affirming that mathematics must remain 'a profoundly human endeavour'
Summary
An international group of sixteen researchers from fifteen universities has published the Leiden Declaration on Artificial Intelligence and Mathematics, a landmark call to preserve core disciplinary values as AI tools increasingly influence mathematical research. The declaration does not ban AI but urges clear community norms for responsible use, recognizing both opportunities and risks as mathematicians adopt AI to write papers, generate proofs, and assist in peer review.
The declaration identifies five specific threats: unreliable AI-generated 'proofs' that look convincing but contain hidden errors; lack of proper attribution and copyright protection for human work incorporated into AI training; growing inequality as researchers depend on expensive proprietary AI systems; overhyping of AI capabilities through inadequate scientific scrutiny; and the risk that commercial interests will override mathematical autonomy in setting research directions. The position has been formally endorsed by the International Mathematical Union and supported by prominent mathematicians including Fields Medal laureate Peter Scholze.
The declaration emphasizes that mathematics is fundamentally rooted in human understanding and community collaboration. Rather than prohibiting AI, it calls for transparency requirements—clearly disclosing which AI tools were used—and stronger community agreements on attribution, intellectual property, and equitable access to ensure the discipline benefits from AI advancement without compromising its core values.
- The declaration advocates for transparency and disclosure requirements rather than prohibition, aiming to harness AI benefits while protecting disciplinary integrity
Editorial Opinion
The Leiden Declaration arrives at a critical moment, addressing questions that will increasingly define not just mathematics but all knowledge disciplines in the AI era. By framing AI as a tool to be governed through community norms rather than either embraced uncritically or rejected outright, mathematicians are modeling how established fields can adapt responsibly. The declaration's emphasis on human understanding, attribution, and equitable access should resonate beyond academia—these principles matter for any domain where AI is becoming embedded in knowledge creation.
