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
- Fmr. OpenAI Design Head Ian Silber, Who Led ChatGPT and Codex, to Speak at SPC — soleio · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26
- User suspects X's bundled Grok subscription boosted tweet reach amid algorithm change rumors — talkaboutdesign · 2026-10-26
- "RIP Claude + Chrome": developer flags the end of Anthropic's browser integration — damienghader · 2026-10-26
- a16z podcast: Diode pairs AI PCB design with Brooklyn factory to revive US hardware manufacturing — MattPerault · 2026-10-26
- Vercel Ships 12 New Products at Its 2026 Conference as It Races Rivals for the Agent Entry Point — FinanceYF5 · 2026-10-26