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
- Silicon Valley's acqui-hire gold rush: 9-month startups, instant millions, and shrinking ambition — edgarpavlovsky · 2026-10-27
- Sam Altman to join John Collison for SF fireside chat on SaaS and AI — jeff_weinstein · 2026-10-27
- Robot learning researcher joins Mila to work on physical AI and RL — pcastr · 2026-10-27
- The Information Distills Key Takeaways from Anthropic's Financials — steph_palazzolo · 2026-10-27
- AI cycle is entering its 'late-stage crypto' phase, argues investor: minor labs fade, startups pivot to GPU inference clouds — beffjezos · 2026-10-27
- Ex-Anthropic employee essay: the org optimizes for power 'constrained by being seen as the good guys' — RichardMCNgo · 2026-10-27