Third-party dispatches, not graded receipts
OpenAI says internal agents resolved the Navier–Stokes Millennium Prize problem
OpenAI reports its agents arrived at a resolution roughly 88 hours after launch, using about 130 billion output tokens on that problem, with Lean verification via GPT-6 Astra taking another 17 hours. The announcement is shadowed by priority disputes with NYU mathematician Tristan Buckmaster, who says information about his related work reached OpenAI before their effort began.
“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.”
Bears on: ai-imo-gold-medal-by-2025