Stanford professor criticizes AI companies' math PR push: proofs no one understands don't count
anshulkundaje · x · 2026-09-13
Stanford professor Anshul Kundaje argues AI should absolutely accelerate our understanding of unsolved math, and there's a clear path to it — but not the way AI companies are doing it, citing the recent millennium prize controversy. His core point: even if AI autonomously solved millions of theorems a day, it means little if humans lose the ability to understand them, a lesson applying to many intellectual endeavors.
Related event: Stanford Professor: Domain Expertise Matters More in the AI Era(2 posts)→
More from AGI Musings
- Should AI labs be nationalized instead of IPOing? AI circles debate — MatthewBerman · 2026-09-13
- UK GDP beats forecasts at 0.4% in July, with programming and info services adding 0.12pp — krishnan · 2026-09-13
- AI Takes Over the Drudgery: Humans Return to Thinking and Appreciating Theorems — deepakns · 2026-09-13
- 'In Weeks to Months': Building Apps Will Be Like Driving a Car, Professor Argues — deepakns · 2026-09-13
- Professor: AI-Driven Fast Execution Frees Students for Real Brain Training — deepakns · 2026-09-13
- Dario Amodei: AI is on an exponential, no wall in sight — kimmonismus · 2026-09-13