Pedro Domingos: Progress Caused by AI is Not Progress in AI
pmddomingos · x · 2026-08-03
Prominent machine learning expert Pedro Domingos points out that people often confuse "progress driven by AI in an application area" with "fundamental progress in AI capabilities."
He uses the example of theorem proving: once AI can prove a nontrivial theorem, it can prove infinite ones. While this generates new information for mathematics, it represents no new knowledge for AI itself and does not generalize to future progress in other application domains.
Related event: Pedro Domingos: AI Proving 1,000 Theorems Daily is the New Normal(3 posts)→
More from AGI Musings
- AI is Fulfilling Hilbert's Dream of Automated Theorem Proving — tomjaguarpaw · 2026-08-03
- Predicting AGI with Compute and API Pricing: Public Opinion Matches Model — anpaure · 2026-08-03
- YouTuber Hank Green Faces Toxic Backlash and Cancels Himself Over AI Use — RexDouglass · 2026-08-03
- Exploring the Post-Scarcity Era Driven by AI and Robotics: UBI and Resource Allocation — ProxyLumina · 2026-08-03
- AI Impacts Academia: Pure Mathematics Faces Paradigm Shift — RexDouglass · 2026-08-03
- Can Weaker Models Replicate Frontier Discoveries with Hints? Exploring LLM Basins of Attraction — danshipper · 2026-08-03