OpenAIEventScienceSeptember 8, 2026

OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

Read original source →openai.com

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 and that OpenAI's first prompt came after their work reached the lab.

People · Tristan Buckmaster, Levent Alpöge

How this story unfolded

7 days · 20 reports · 78 community posts · 98 of 103 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