AI math automation is already inevitable, says Kareem Carr
kareem_carr · x · 2026-07-22
The author says they are no longer surprised by AI progress on math and have already accepted that things like math proofs will eventually be automated.
They frame this as the beginning of an industrial-revolution-style shift for the mathematical sciences, and say the interesting question is not whether it happens, but what comes next.
More from AGI Musings
- You traded friends for strangers in the feed; next come AI personas — r0ck3t23 · 2026-10-26
- CS professor: don't hide your AI use from future employers, lead with it — lemire · 2026-10-26
- Engineer: AI-cheap engineering will change which manufacturing jobs get a yes — burhop · 2026-10-26
- FixItBench: the joke benchmark where robot-agent teams race to repair electron microscopes — teortaxesTex · 2026-10-26
- Instructor advice: record and save all your teaching materials for future AI use — prof_g · 2026-10-26
- Jason Furman: Building Econvitals pre-AI would need ~50 people, 3 years, $20M — HarrySurden · 2026-10-26