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
- DHH: Starship, Starlink and Grok should have been Europe's Sputnik moments — georgemillo · 2026-10-16
- Hinton hits back at Jensen Huang: 'He has good reason to say AI isn't dangerous — he sells Nvidia chips' — BlackHC · 2026-10-16
- Yudkowsky blasts new interpretability finding as primitive; critic pushes back on doomer logic — AlexTensor · 2026-10-16
- Beff Jezos declares 'civilizational inflection point' in the acceleration of technological progress — beffjezos · 2026-10-16
- Data scientist: pivoting to AI engineering is the safest career bet for the next 5 years — mdancho84 · 2026-10-16
- AI will be superhuman at science regardless, and Europe can't opt out — teortaxesTex · 2026-10-16