Pedro Domingos: Math is a classic case of Moravec's paradox — hard for humans, easy for machines
pmddomingos · x · 2026-10-07
AI researcher Pedro Domingos notes that mathematics is a textbook example of Moravec's paradox: tasks that are hard for humans turn out to be easy for machines. The remark implicitly nods to recent AI progress on competition math and formal proofs — once considered the pinnacle of human intellect.
More from AGI Musings
- AI risk discourse's totalizing nature makes some act like the power-seeking optimizers they fear — foundjuliette · 2026-10-07
- The next Einstein or Newton will be an OpenAI or Anthropic model version, quips founder — clemnt · 2026-10-07
- Cohere Labs research suggests AI has yet to impact nearly half of workforce occupations — Cohere_Labs · 2026-10-07
- Math PhD now feels like swinging a scythe against millions of autonomous harvesters — FlorianGallwitz · 2026-10-07
- Dev observation: our AI outputs are becoming data packets passed agent-to-agent — aloncarmel · 2026-10-07
- Nobel economist Daron Acemoglu: making 100 people 5% more productive beats automating 5% — cen6wkf · 2026-10-07