AI and the Threat to Mathematical Understanding

Key facts

• DeepMind and OpenAI achieved silver and gold medals at the International Mathematical Olympiad in 2024 and 2025.
• The Lean community counts 437 members as of June 2025.
• The Leiden Declaration was published in 2025, drafted by mathematicians, computer scientists, philosophers, and social scientists.
• Startup Harmonic has raised over $250 million for mathematical superintelligence.
• Economists led by Daron Acemoglu warn of 'knowledge collapse' from excessive reliance on agentic AI.
• The First Proof project revealed that AI can produce an endless succession of wrong proofs.
• Geordie Williamson warned that industry AI labs are not primarily motivated by intellectual curiosity.
• The Riemann Hypothesis remains unsolved after 167 years.
• Handshake AI offered mathematicians $185–$400/hour for ghost work training AI models.
• The Flyspeck project completed formal proof of Kepler's conjecture in 2014.
• AlphaZero solved Go, leading to predictions that AI will 'solve' mathematics.
• The National Science Foundation funds the Institute for Computer-Aided Reasoning in Mathematics at Carnegie Mellon.
• The market capitalization of math-related AI labs and startups could fund 200 math PhDs per year for 500 years.
• The United States lost 200 math PhDs this year due to cuts to graduate programs.
• The Leiden Declaration includes a clause against developing technology for warfare, oppression, mass surveillance, or undermining democracy.