Leiden Declaration: Mathematicians Warn AI-Generated Proofs Risk Undermining Peer Review

Summary

Mathematicians behind the Leiden Declaration have issued a public warning about AI's rapid integration into mathematical proof work. The declaration argues that automated systems can generate plausible but unreliable mathematical arguments, creating pressure on peer review and independent verification if institutions prioritize speed over verifiable proof. The declaration has garnered 1,854 signatories at time of writing, extending support beyond the original sixteen mathematics specialists who released it. The core concern is that AI systems are moving from benchmark math tasks toward work that touches actual proof verification, potentially straining the traditional peer review and credit systems in mathematics.