In 2000, Alain Connes Said the Millennium Problems Were 'Totally Inaccessible to Computers'
minilek · x · 2026-09-09
Resurfacing a May 2000 Nature quote: mathematician Alain Connes said the seven Millennium Prize problems were chosen partly to recreate excitement about math, insisting they were "totally inaccessible to computers." The poster's dry coda—"Computers have come a long way"—highlights how AI's progress on formal proofs has aged that claim.
More from AGI Musings
- Math Bodies Must Decide What Counts as Proof as AI Slop Proofs Flood In — thebasepoint · 2026-09-09
- Ray Dalio: every tech boom creates a bubble — the miracle vs. the investment — RayDalio · 2026-09-09
- AI Video Now Generates Faster Than You Can Watch, Endless Slop Incoming — michalmalewicz · 2026-09-09
- Frontier lab researchers' p(doom) reflects ideology, not expertise, argues gordic_aleksa — D3VAUX · 2026-09-09
- Gary Marcus: frontier labs bet 90% odds of riches against 10% odds everyone dies — GaryMarcus · 2026-09-09
- Why AI lab researchers who believe in ~10% extinction risk keep working there — sebkrier · 2026-09-09