OpenAI Claims Navier-Stokes Breakthrough; Proof Withheld

OpenAI says it solved the Navier-Stokes Millennium Prize Problem using a model beyond GPT-6 Astra running 10,000 concurrent agents. The proof, written in the Lean theorem prover, remains unreleased and unreviewed. 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.