wh
So it looks like the timeline is roughly as follows: Aug 15: Buckmaster and Alpoge have a solution to forced Euler and formalized it on Aug 22 Aug 28: OpenAI starts (post?)-training an internal math model that looks insane btw Sept 2: OpenAI hears that 2 (!!) Millennium Prize
OpenAI
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.
