OpenAIEventScienceSeptember 8, 2026

OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

OpenAI says an internal model significantly more capable than GPT-6 Astra produced the proof in 88 hours using ~10,000 coordinating AI agents, with a writeup and formal Lean proof. NYU's Tristan Buckmaster disputes the process, saying he and Levent Alpöge worked the problem for nearly a year using Claude and Codex.

People · Tristan Buckmaster, Levent Alpöge

How this story unfolded

7 days · 20 reports · 76 community posts · 96 of 101 shown

  1. Sep 8
  2. Sep 9
  3. Sep 10
  4. Sep 11
  5. Sep 12
  6. Sep 13
  7. Sep 14
  8. Sep 15

More stories today

Open the live feed