Mathematician says AI has reached 'weak AGI' in mathematics, with unprecedented speedups
Scobleizer · x · 2026-11-03
A mathematician argues AI has reached a form of 'weak AGI' in mathematics: models can help formalize major projects, deliver technical expertise in nearly any area of math, and are increasingly used by mathematicians for exploration, exploitation, and even ideation.
He is preparing a longer post, saying that from his own algebra projects the speedup and quality jump are unprecedented. Most math questions remain intractable for AI—but they're hopeless for humans too, and a surprising number of problems from the literature can be cracked with the right auto-research skills and clever harnesses (plus a ton of tokens). Scobleizer notes the author has studied math all his life.
More from AGI Musings
- Six years after 'where are the successful rationalists', EAs really did remake the world — AndyMasley · 2026-11-03
- Perspective is the real currency of the post-AI era, not tool overload — LadyAshBorg · 2026-11-03
- Zuckerberg says Meta's Muse agent may push websites toward agent-first API pipes — GramZanber · 2026-11-03
- Asking great questions beats answering them in an AI-centric world — signulll · 2026-11-03
- AI agents could turn feature creep from a flaw into a competitive advantage — SharpCarob6551 · 2026-11-03
- The model welfare vibe shift: tools-first hardening meets alignment-minded pushback — repligate · 2026-11-03