OpenAIEventScienceSeptember 8, 2026

OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

OpenAI says an internal model 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 prompt came after their work reached the company.

People · Tristan Buckmaster, Levent Alpöge

How this story unfolded

6 days · 21 reports · 81 community posts · 102 of 108 shown

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

More stories today

Open the live feed