The briefing
A group of researchers published the 11-page Leiden Declaration on Artificial Intelligence and Mathematics on June 2, 2026. With over 130 initial signatories, it urges disclosure of AI use and rigorous review while outlining concerns about proof reliability, attribution, and publication practices.
Original headline
Mathematicians Publish Leiden Declaration on AI Risks to Mathematics