OpenAIEventScienceSeptember 8, 2026

OpenAI says internal model solved Navier-Stokes in 88 hours

OpenAI says ~10,000 coordinating AI agents using an unreleased model more capable than GPT-6 Astra produced a Lean-verified proof in 88 hours. NYU's Tristan Buckmaster says OpenAI's Sébastien Bubeck raced to claim credit after learning of his unpublished work with Anthropic's Levent Alpöge.

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

How this story unfolded

3 days · 14 reports · 72 community posts · 86 of 89 shown

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

More stories today

Open the live feed