Debate on X: math's purpose is more math — skepticism toward fully autonomous AI math infrastructure
_onionesque · x · 2026-10-08
In a debate on AI-driven math progress, @onionesque pushes back on the 'fully autonomous engineering infrastructure for math' thesis:
- Focus on problems is myopia: only historically aligned with conceptual-infrastructure progress, which is what actually matters
- Agrees mining AI-generated math to deslopify will drive medium-term progress, but doesn't buy full autonomy
- 'The purpose of math is more math (conceptual machinery), not problems' — not 1000 years away, but not 200 Scholzes either
More from AGI Musings
- 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
- Reminder from Pedro Domingos: mathematics is not general intelligence — pmddomingos · 2026-10-08