Math is full of 'strip-minable' deposits where the expensive conceptual groundwork is already done
_onionesque · x · 2026-10-07
Continuing his thread, the author argues more strip mining will lay bare math's enormous deposits: results for which the expensive geological work — mapping the terrain, inventing the right language and definitions, identifying promising directions, intermediate results — was already done, making them ripe for AI.
Related event: Mathematician argues AI can 'strip mine' well-developed areas of math(7 posts)→
More from AGI Musings
- Huawei projects 900 billion active AI agents by 2035 — implying $90T of GDP at just $100 each — robleclerc · 2026-10-07
- Europe's AI gap is compute: infrastructure moves in years while AI moves in months — ingliguori · 2026-10-07
- 'Big Short' Investor Steve Eisman Explains How the AI Bubble Will Burst — 233C · 2026-10-07
- Professor decries universities force-feeding AI assignments to students who just want to read books — Tyler_A_Harper · 2026-10-07
- If AI Can End Civilization, Can't It Also Defend It? A Reddit Debate on AI Offense vs Defense — scottimous · 2026-10-07
- €1M grant to study 'adaptive reframing' — when intelligence means rethinking the problem itself — ValerioCapraro · 2026-10-07