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
- A missing parameter in scaling laws: H, the human effort behind learning signals — lateinteraction · 2026-10-16
- First-ever paper on multi-agent swarm safety lands NeurIPS spotlight — LauraRuis · 2026-10-16
- Yoav Artzi on peer review: paper flooding still pays off as review system strains under load — yoavartzi · 2026-10-16
- Letta founder: work in fields defined by problems, not methods — lateinteraction · 2026-10-16
- Why pure mathematicians will soon flood into AI x-risk debates — Dr_Atoosa · 2026-10-16
- RSI began when model outputs augmented next-gen training data, agents just escalated it — akbirthko · 2026-10-16