OpenAI Claims Navier-Stokes Millennium Prize Solution; Proof Not Yet Released

OpenAI announced a solution to the Navier-Stokes Millennium Prize Problem, produced by an internal model exceeding GPT-6 Astra across 10,000 concurrent agents. The proof, formalized in Lean, has not been publicly released or peer-reviewed. Mathematicians have raised questions. Worth flagging: the announcement coincides with a data-access dispute involving NYU's Tristan Buckmaster, whose related work appeared one day earlier.