Is AI Accelerating the Production of New Theorems?
fortnow · x · 2026-07-12
The author observes what seems to be an acceleration in the production of new theorems, particularly in the field of combinatorics.
They suggest this might be driven by several simultaneous trends:\n- Some theorems are directly proven by AI\n- Some are proven with AI assistance\n- Some are inspired by AI\n- Others are proven by humans racing to beat AI\n\nOverall, the discussion centers on how AI is changing the pace of mathematical research, even influencing researchers' priorities and competitive dynamics.
Related event: AI May Be Accelerating Theorem Discovery(2 posts)→
More from AGI Musings
- 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
- Better AI math could save researchers time by killing false conjectures earlier — prateekj · 2026-07-22
- AI’s economic forecasts are split by nearly a quadrillion dollars by 2035 — bittingthembits · 2026-07-22