OpenAIEventScienceSeptember 8, 2026

OpenAI shares AI-generated Navier-Stokes solution, mathematicians dispute credit

OpenAI says ~10,000 coordinating agents produced the Navier-Stokes Millennium Prize solution in 88 hours using an unreleased model more capable than GPT-6 Astra, with a Lean formal proof. NYU's Tristan Buckmaster says he and Levent Alpöge worked the problem for 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 · 82 community posts · 103 of 109 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
OpenAI shares AI-generated Navier-Stokes solution, mathematicians dispute credit