🚨 OpenAI new internal model solved the Navier-Stokes Millennium Prize Problem
🚨 OpenAI new internal model solved the Navier-Stokes Millennium Prize Problem
Around 10,000 agents worked on the solution for 88 hours, powered by a model significantly more capable than GPT 6 Astra.
After the solution was found, GPT 6 Astra formalized and verified the proof in Lean.