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

2 days · 14 reports · 68 community posts · 82 of 85 shown

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

More stories today

Open the live feed