We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Many people are surprised by this, but I am not. I have told people for many years. My personal belief is that the power of these immensely capable agents are only going to continue to increase. https://t.co/MEmsk2eGsN
@ChaseLochmiller@OpenAI GPT-6 Astra, trained on ~100K+ NVIDIA Grace Blackwell NVLink72. From ChatGPT to o1 to Astra in 4 years.
AGI has arrived. Congratulations @OpenAI team.
400K GPUs coming online next.
La Cañada High football secured a 28-7 win over Village Christian, improving to 3-0. Strong offense and a solid defense led the Spartans to control most of the game and overcome early setbacks.
@LCanadaFootball
https://t.co/ihnVhC1g2a
All over from GCC where the Spartans take down Village Christian 28-7 and move to 3-0 on the season. Big one with South Pasadena next week! Let’s get it!! #RYFP#ICCCU