Timeline: how OpenAI agents and two mathematicians raced to crack Navier-Stokes in 88 hours
S2S2S2S2S2 · reddit · 2026-09-09
A detailed timeline of the Navier-Stokes saga: Alpöge and Buckmaster's year-long climb through Boussinesq and Euler results with Lean verification; OpenAI spinning up an unreleased model on all Millennium Problems on Sep 1, 2026; solving unforced Euler then forced N-S within days; multiple same-day meeting requests, a reported suggestion to drop Alpöge from authorship, competing online rumors (including false Anthropic claims and Tao denials), a third independent Euler solution, and OpenAI's Sep 8 announcement declining the prize money.
More from Companies & People
- Glean Is Worth $7.2B, but What's Actually Its Moat? — yogthinks · 2026-09-11
- Replit CEO joins backlash against AI doomers, says focus should be on cybersecurity not sci-fi — amasad · 2026-09-11
- Replit CEO Amjad Masad: AI existential-risk talk is a distraction from real cybersecurity work — amasad · 2026-09-11
- SF hiring of wet-lab biologists for RL environments draws bio-safety concerns — beffjezos · 2026-09-11
- Schmidhuber appears on the "Europe on Edge" podcast — SchmidhuberAI · 2026-09-11
- VC advice for Indian founders: stop pitching that you'll be in SF, go where customers are — vaibhavbetter · 2026-09-11