Mathematicians Call for Guardrails as AI Enters Mathematical Proofs

Sixteen mathematicians, with more than 130 signatories, issued the Leiden Declaration on Artificial Intelligence and Mathematics to warn that unchecked AI could undermine the autonomy and rigor of mathematics while urging transparency, disclosure of AI use, stricter peer review, and investment in public computational infrastructure to balance power between researchers and tech firms; the declaration emphasizes human judgment and cautions that AI-generated proofs are hard to validate and cite, setting up ongoing discussions ahead of the International Congress of Mathematicians.