Mathematicians Release Leiden Declaration to Guard Research Against Unchecked AI Use

Key Points

• The Leiden Declaration, endorsed by the International Mathematical Union, criticizes AI companies for using mathematical research without consent.
• Five threats are outlined, including unreliable AI‑generated proofs and loss of proper attribution.
• Signatories call for mandatory disclosure of AI tool use and rejection of AI as co‑author on papers.
• Academic societies are urged to secure licensing agreements that protect authors’ rights.
• Policymakers are asked to increase oversight of AI firms and fund public computational resources.
• The declaration warns against AI‑driven research priorities that favor automation over scientific significance.
• Fields Medalist Peter Scholze and other leading mathematicians signed the statement on its first day.