Pedro Domingos: AI can do proofs, but elegant proofs are beyond it
pmddomingos · x · 2026-11-01
ML researcher Pedro Domingos argues that while current AI can produce mathematical proofs, elegant proofs remain beyond its reach — implying mathematical taste and simplicity are still a human edge.
More from AGI Musings
- New essay 'The Commanding Heights' argues AI gains will accrue to scarce, controllable positions — xiaosun86 · 2026-11-01
- Cloudflare's threepointone: in the AI era your only moat is your authentic voice — threepointone · 2026-11-01
- Researcher Slams Mechanistic Interpretability as a 'Huge Missed Opportunity' Narrowed to Esoteric Neuron Studies — andrewgwils · 2026-11-01
- Yoshua Bengio on creating AI — and fearing his kids may have no life in 20 years — connoraxiotes · 2026-11-01
- As AI output floods the internet, will training data stop representing human work? — ThisFuzzBall078 · 2026-11-01
- Garry Tan amplifies case that AI makes homeschooling better than classroom — garrytan · 2026-11-01