OpenAIEventScienceSeptember 8, 2026

OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

OpenAI says an internal model group produced the proof in 88 hours using ~10,000 coordinating AI agents, with a writeup and formal Lean proof published. The model is described as significantly more capable than GPT-6 Astra, and training is ongoing.

People · Tristan Buckmaster, Levent Alpöge

How this story unfolded

7 days · 12 reports · 47 community posts · 59 of 63 shown

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

More stories today

Open the live feed