A sober take on AI mining centuries of math: real medium-term gains, no autonomous-math miracle
_onionesque · x · 2026-10-08
Responding to optimism that AI can "stake-mine" centuries of accumulated math and let pip-install innovators advance concepts, the author argues: mining to deslopify will produce progress in the medium term, but he doesn't buy the "fully autonomous engineering infra" take — the purpose of math is more math (conceptual machinery), not problems, so no explosion of "1000 years, 200 Scholzes" is coming.
More from AGI Musings
- With Math Delegated to OpenAI, Economics Research Faces a Reshuffle — soumitrashukla9 · 2026-10-08
- Higgsfield cofounder: SWE demand will collapse by end of 2027 — SimplyAnnisa · 2026-10-08
- AI ethics scholar: frontier leaders 'won't slow down until they feel like God' — LuizaJarovsky · 2026-10-08
- Yudkowsky as the Marx of our generation: an 'AI safety welfare state' thought experiment — teortaxesTex · 2026-10-08
- Math's search space is too absurd — autoregressive AI could seed new questions — akbirthko · 2026-10-08
- STEM in late 2026 'feels like being a textile worker in the late 1700s' — felpix_ · 2026-10-08