Critics question AI math: is burning millions in compute just algorithmic verification?
gerardsans · x · 2026-09-30
Drawing on Terence Tao's view that proofs only matter when they integrate back into the field, the author questions the AI-for-math direction: is mathematics reduced to an algorithmic verifier burning millions of dollars of compute while people go hungry and homeless? A critique of resource allocation and the value of machine-generated proofs.
More from AGI Musings
- Former anti-AI folks who raged at 'it'll only get better' are now all in on AI — justalexoki · 2026-09-30
- Garrison Lovely's 'Obsolete' on the trillion-dollar race to replace us hits shelves — GarrisonLovely · 2026-09-30
- EU-Backed Domyn CEO Accuses OpenAI and Anthropic of Lying About AI Risks — Legitimate-Arm9438 · 2026-09-30
- Agentic CPU Guidebook: agent workloads to drive server CPU market to $221B by 2030 — BenBajarin · 2026-09-30
- Ex-OpenAI researcher Mina Lee launches Substack on writing with AI without losing your soul — MinaLee__ · 2026-09-30
- Waymo Fails 1 in 20-30 SF Rides, Signaling Physical Job Automation Is Further Off — herbiebradley · 2026-09-30