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
- AI researcher on SkyNews flags concerns over inequality, power and criminal misuse — schwarzjn_ · 2026-09-11
- Researcher's SkyNews interview: deeply concerned about AI-driven inequality and power — schwarzjn_ · 2026-09-11
- VC compares AI doom rhetoric to pandemic-era fear messaging — StewartalsopIII · 2026-09-11
- Anthropic Insiders: Not Everyone at the Lab Believes in High p(doom) — anpaure · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11
- AI companionship dissolves the friction real intimacy needs, warns long-form thread — YogeshMalik · 2026-09-11