The Leiden Declaration Sets Rules for AI in Mathematics
Leiden DeclarationThe Leiden Declaration on Artificial Intelligence and Mathematics asks the field to defend proof, human authorship and peer review as AI enters research. Published on June 2, 2026 and endorsed by the International Mathematical Union, it grew out of a Lorentz Center conference in Leiden attended by around 60 researchers from mathematics, computer science, philosophy and history.
Read on Trill News →