Mathematicians warn of AI threats to profession as industry encroaches

The Leiden Declaration on Artificial Intelligence and Mathematics warns of AI's impact on mathematical research. It was developed by 16 researchers over eight months after a September 2025 conference at Leiden University. The declaration was published on June 2, 2026. OpenAI publicized in early May 2026 that one of its AI models disproved an 80-year-old geometry conjecture. The document outlines risks AI poses to mathematical rigor and peer review. The declaration calls for increased oversight of AI applications in mathematical research.