OpenAI says an internal model "significantly more capable than GPT-6 Astra" solved the Navier-Stokes problem using 10K concurrent agents working for 88 hours (Madison Mills/Axios)
OpenAI says the proof came from a next-generation internal model coordinating about 10,000 agents over 88 hours.
The company says the agents produced both an analytical proof and a Lean formalization for finite-time singularity in Navier-Stokes dynamics. OpenAI describes the model as “significantly more capable than GPT-6 Astra” and says its training is still underway. The claim sits inside a broader credit dispute, with Tristan Buckmaster alleging OpenAI learned of his work with Levent Alpöge before making its own announcement. Techmeme's note
The company says the agents produced both an analytical proof and a Lean formalization for finite-time singularity in Navier-Stokes dynamics. OpenAI describes the model as “significantly more capable than GPT-6 Astra” and says its training is still underway. The claim sits inside a broader credit dispute, with Tristan Buckmaster alleging OpenAI learned of his work with Levent Alpöge before making its own announcement. Techmeme's note
score 9