OpenAIEventScienceSeptember 8, 2026

OpenAI claims AI agents solved Navier-Stokes in 88 hours

OpenAI says ~10,000 coordinating agents using an unreleased model more capable than GPT-6 Astra produced a solution in 88 hours, with a writeup and Lean formal proof. NYU's Tristan Buckmaster alleges the effort followed his and Anthropic's Levent Alpöge's year of work on a related problem.

People · Tristan Buckmaster, Levent Alpöge

How this story unfolded

3 days · 15 reports · 91 community posts · 106 of 111 shown

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

More stories today

Open the live feed