Turing winner Boaz Barak: an AI solved a Millennium Problem and there's plenty of headroom left
soumitrashukla9 · x · 2026-09-09
Harvard professor and Turing Award winner Boaz Barak reacts to OpenAI's claimed Navier-Stokes solution: even non-mathematicians should care that (1) an AI solved a Millennium Problem and (2) models still have plenty of headroom to move up and to the right on this and any other task.
Related event: Barak: AI Theorem Proving Doubts Will Look Like Deep Blue Skepticism(2 posts)→
More from AGI Musings
- Anything verifiable is extremely soluble for AI — it's just a matter of time — vxnuaj · 2026-09-09
- AI Optimism essay: AI is easier to control than human labor — a technical case for alignment — QuintinPope5 · 2026-09-09
- AI lab's Millennium problem run burned 300B output tokens, $20-30M at consumer prices — Paimaamu · 2026-09-09
- Zachary Lipton: Author credit lasted 3,000 years — how long will prompter credit last? — zacharylipton · 2026-09-09
- 'Context-window AGI': inside a single window, models beat any individual — sir_codes_alot · 2026-09-09
- There's a direct line from terminal agents with Bash tools to Millennium Problems — ctjlewis · 2026-09-09