OpenAIEventScienceSeptember 8, 2026

OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

Read original source →openai.com

OpenAI says ~10,000 coordinating agents produced the proof in 88 hours using an unreleased model more capable than GPT-6 Astra, with a writeup and formal Lean proof published. NYU's Tristan Buckmaster disputes credit, saying he and Anthropic's 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 · 10 reports · 45 community posts · 55 of 58 shown

  1. Sep 8
  2. Sep 9
  3. Sep 10
  4. Sep 13
  5. Sep 15

More stories today

Open the live feed