21st Century Luddism? Stanford Prof Defends Math Community's AI Critique
anshulkundaje · x · 2026-09-13
Anshul Kundaje amplifies nomad421's argument in the ongoing AI-in-math controversy: the signatories aren't against developing or using AI for math — they oppose the gamification and Goodharting of specific problems as a proxy for genuine mathematical understanding.
Related event: Pachter declines Fields medalists' AI letter, citing math's own failures(3 posts)→
More from AGI Musings
- Reddit users speculate Musk, Amodei and Altman know of an undisclosed AI incident behind slowdown calls — Traditional-Chip8339 · 2026-09-13
- tszzl predicts open-source AI will be banned after a major disaster, wants monitored APIs — mimi10v3 · 2026-09-13
- Commentators argue frontier labs fear open-source AI killing revenue, not extinction — whurley · 2026-09-13
- UK GDP beats forecasts at 0.4% in July, with programming and info services adding 0.12pp — krishnan · 2026-09-13
- 'In Weeks to Months': Building Apps Will Be Like Driving a Car, Professor Argues — deepakns · 2026-09-13
- Billion-dollar company walked back all-in AI coding after 6 months, admits no real productivity gains — jmclondon97 · 2026-09-13