Pedro Domingos: AI Proving 1,000 Theorems a Day Is the New Normal
pmddomingos · x · 2026-08-02
Pedro Domingos, a professor at the University of Washington, tweeted that AI proving 1,000 theorems a day has become so routine that it now induces a yawn. This reflects how rapidly AI has advanced in automated theorem proving, quickly outpacing the general perception of its capabilities.
Related event: Pedro Domingos: AI Proving 1,000 Theorems Daily is the New Normal(3 posts)→
More from AGI Musings
- Math Professors Failing Students Over AI Agent Use in Panic Mode — RexDouglass · 2026-08-03
- Beyond Productivity: Using AI to Elevate Human Expertise and Judgment — Leading-Preference84 · 2026-08-03
- Ribbit Capital Founder: AI Has Not Yet Attached to the Layer of Value — damianplayer · 2026-08-03
- AI Must Enlarge the Economy by Augmenting Humans, Not Replacing Them — Exp_Mark · 2026-08-03
- Solving Simulation is the Ultimate Key to Materials and Biology — _Stocko_ · 2026-08-03
- The Shift to the Verification Layer in the Age of AI — inductionheads · 2026-08-03