Tao's Point on AI Math: Theorem Proving Is RLVR-Easy, Conjecturing and Abstraction Aren't
akbirthko · x · 2026-09-12
The poster relays what they see as Terence Tao's actual point: "solve theorem X" isn't the only goal of math — historically hard problems mattered because they forced new concepts, methods, and conjectures. While bullish long-term on AI doing theory, the poster flags a medium-term concern: LLM capabilities are jagged — theorem proving is easy to train with RLVR, but conjecturing and abstraction are not.
Related event: Tao Misread: Math Community Debates AI's Role After "Unhappy" Claims(7 posts)→
More from AGI Musings
- nc_frey: >10% chance AI ushers in a post-scarcity, disease-free future — inductionheads · 2026-09-12
- RSI is a spectrum, not a switch: from self-hosting C compilers to coding agents — ZeeshanZiaML · 2026-09-12
- AI safety advocates push back on 'regulation is censorship' claim — menhguin · 2026-09-12
- AI solving Navier-Stokes could be the next Deep Blue moment, says Adam Dorr — adam_dorr · 2026-09-12
- Anthropic survey of 10,980 adults finds most expect AI's middle path: 8% larger economy, 4% fewer knowledge jobs by 2030 — shashib · 2026-09-12
- Netizen proposes 4-point military enforcement plan to ban superintelligence — ForHumanityPod · 2026-09-12