Leiden Declaration on Artificial Intelligence and Mathematics
The Leiden Declaration addresses the growing integration of artificial intelligence in mathematical research. It provides recommendations for researchers, policymakers, and institutions to manage the reliability, attribution, and ethical implications of AI-generated proofs.
Why it matters
As AI becomes a standard tool in scientific discovery, establishing ethical frameworks is critical to maintaining the integrity of academic research.
The Leiden Declaration on Artificial Intelligence and Mathematics , which has been published today, addresses the increasing role of artificial intelligence (AI) in mathematical research. It was developed following a 2025 workshop at the Lorentz Center in Leiden and in consultation with an international group of researchers.
The article reports on a formal declaration neutrally, focusing on the guidelines and concerns without taking a political stance.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in