Third-party dispatches, not graded receipts
OpenAI says unreleased model resolved Navier–Stokes Millennium Prize problem
OpenAI reported that agents using an internal model produced a resolution to the Navier–Stokes existence and smoothness problem in about 88 hours, verified via Lean by GPT-6 Astra. The announcement drew accusations from NYU mathematician Tristan Buckmaster that OpenAI's effort began only after rumors of his team's related breakthrough.
“Impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been subject to a $1,000,000 prize since May 24th, 2000.”