"It hasn't even started": AI is just clearing brute-forceable math problems, argues researcher
eigenron · x · 2026-10-07
Pushing back on math-doom takes, the author argues AI's real impact hasn't begun: it is currently clearing debris — brute-forcing low-hanging problems and removing noise. In two years, once those are solved, math returns to normal, just with far more powerful tools.
More from AGI Musings
- Google's Milan Far: Automation speed inversely tracks domain entropy — math and coding fall first — docmilanfar · 2026-10-07
- AI-generated journal submissions up 5-10x in a year; 90% not worth reviewing — menhguin · 2026-10-07
- Post-AGI without UBI: building jobs around professional verification and liability — DasBootBoy · 2026-10-07
- AI Agents Formalize Major Proof in Lean in a Week for ~$135K, Producing 600K Lines — geoffreyirving · 2026-10-07
- Ex-OpenAI/Anthropic researcher: automated AI researcher by 2027-28, humans far out of the loop — rohanpaul_ai · 2026-10-07
- Researcher slams Wired's 'ridiculous' coverage of a landmark math breakthrough — Afinetheorem · 2026-10-07