OpenAIEventScienceSeptember 8, 2026

OpenAI says internal model solved Navier-Stokes in 88 hours

OpenAI says ~10,000 coordinating AI agents using an unreleased model produced a Lean-verified proof that the Navier-Stokes equations can "blow up," one of seven $1M Millennium Prize Problems. NYU's Tristan Buckmaster says OpenAI's Sébastien Bubeck raced to claim credit after learning of his unpublished related work with Anthropic's Levent Alpöge.

People · Tristan Buckmaster, Levent Alpöge, Sébastien Bubeck

How this story unfolded

3 days · 14 reports · 71 community posts · 85 of 88 shown

  1. Sep 8
  2. Sep 9
  3. Sep 10

More stories today

Open the live feed