Leiden Declaration on Artificial Intelligence and Mathematics

The Leiden Declaration calls on mathematicians to take responsibility for how artificial intelligence is integrated into mathematical research and practice. The declaration outlines core mathematical values—including rigorous proof, transparent reasoning, author accountability, and autonomous research direction—that AI technologies threaten to undermine. It provides recommendations for individuals, institutions, government, and industry to ensure mathematics continues to flourish amid rapid AI development.