David Deutsch: Proofs Are No Longer a Useful Proxy for Mathematical Progress
francoisfleuret · x · 2026-10-15
Physicist David Deutsch, responding to 3Blue1Brown's video on "the last IMO problem AI couldn't solve," agrees that while proving things has served as a useful proxy for mathematical progress for millennia, it no longer does. He goes further, arguing there can never be a formalisable criterion for mathematical progress itself — a notable philosophical take on AI reaching the frontiers of mathematics.
More from AGI Musings
- Geoffrey Irving: stopping to explore now would be a spectacular golden age — geoffreyirving · 2026-10-15
- Ex-UK AISI chief scientist puts odds of superintelligence killing everyone at a coin flip — geoffreyirving · 2026-10-15
- There is no posttraining data commons: open models' next data bottleneck — dlwh · 2026-10-15
- tszzl: agentic auto-research makes mechinterp finally reveal what's inside models' minds — tszzl · 2026-10-15
- Liberal-arts staffer uses AI to reverse-engineer a multiplayer web CS in 20 minutes — FuSheng_0306 · 2026-10-15
- Full-stack data engineer on thriving in AI era by never fixing his identity — teodorio · 2026-10-15