AI is Accelerating Mathematical Theorem Discovery
evilrabbit_ · x · 2026-07-12
The author observes that the output of new theorems in mathematics (especially combinatorics) has been accelerating recently. This is driven by AI-generated proofs, AI-assisted proofs, and AI-inspired new proofs, as well as a sense of urgency among human mathematicians to prove theorems before AI takes over completely.
Related event: AI May Be Accelerating Theorem Discovery(2 posts)→
More from AGI Musings
- Claude Code skill uses 10 Markdown rules to make outputs ADHD-friendly — alex_verem · 2026-07-22
- AI Power Demand Exposes US Energy Gap, Urging Shift from Scarcity to Abundance — bradneuberg · 2026-07-22
- ControlAI CEO says an international ban on superintelligence is needed to avert extinction risk — zetalyrae · 2026-07-22
- Gary Marcus says LLMs still cannot really do math on their own — GaryMarcus · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- AI may make digital work infinitely leveraged while offline life gets more human — illscience · 2026-07-22