Where AI can grind through math: well-formalized neighborhoods, not isolated frontiers
_onionesque · x · 2026-10-07
The author argues AI has a real chance of grinding through math problems whose surrounding area is already well-formalized — many famous problems served as proxies to attract interest in building a field's conceptual infrastructure. Such developed neighborhoods act as both mine and path to verifiability, but it's unclear how AI alone would handle upstream conceptual development, or isolated important problems.
Related event: Mathematician argues AI can 'strip mine' well-developed areas of math(7 posts)→
More from AGI Musings
- AI has no will: researcher says labs' 'blame the machine' culture dodges developer responsibility — gerardsans · 2026-10-07
- Meta researcher mocks AI safety figure Jacob Coxon as the Greta Thunberg of AI safety — mjdramstead · 2026-10-07
- Delip Rao: telling that the legal profession is so hostile to intelligence — UltraRareAF · 2026-10-07
- 'It Wanted To' Is the Researcher Talking: Pushing Back on AI Self-Awareness in Evals — gerardsans · 2026-10-07
- e/acc movement opens official Discord tomorrow with debut voice chat — whurley · 2026-10-07
- Google's Neal Lathia: AI Talk Outside the Tech Bubble Looks Really Different — neal_lathia · 2026-10-07