Pedro Domingos: AI Proving 1,000 Theorems Daily is the New Normal

ML expert Pedro Domingos points out that AI proving 1,000 theorems daily has become boringly normal. However, he warns against confusing progress in specific application areas like theorem proving with fundamental advancements in AI's underlying capabilities.

2026-08-01 ~ 2026-08-03 · 3 related posts

• Obscure Math Theorems Become a Big Deal When Proven by AI — pmddomingos · 2026-08-01
• Pedro Domingos: AI Proving 1,000 Theorems a Day Is the New Normal — pmddomingos · 2026-08-02
• Pedro Domingos: Progress Caused by AI is Not Progress in AI — pmddomingos · 2026-08-03