Common
Leiden Declaration on Artificial Intelligence and Mathematics
2026 declaration by mathematicians
Leiden Declaration on Artificial Intelligence and Mathematics
The Leiden Declaration on Artificial Intelligence and Mathematics is a statement published in June 2026 by an international group of mathematicians in response to rapid progress by artificial intelligence (AI) in producing research-level mathematics. It originated at a September 2025 workshop at the Lorentz Center at Leiden University and is endorsed by the International Mathematical Union. The declaration warns that reliance on AI-generated proofs threatens the accuracy, reliability and independent verifiability of mathematical research, and that the growing involvement of AI companies risks skewing research priorities toward problems amenable to AI methods while disadvantaging researchers without access to them. It calls on mathematicians, professional organizations and policymakers to disclose the use of AI, uphold peer review, and protect the openness and values of the discipline.
Open boosters, collect cards and trade them. Free to play.
Play for free