OpenAI has been named the winner of Justin Sun’s inaugural $1 million mathematics prize for its artificial-intelligence-generated proof of the three-dimensional Navier-Stokes equations, but the award remains unclaimed. The result concerns one of the Clay Mathematics Institute’s seven Millennium Prize Problems, established in 2000 with a $1 million reward each; Clay still lists Navier-Stokes as active, after OpenAI said it would not claim its prize. OpenAI published the proof on September 8, saying 10,000 AI agents worked for 88 hours before GPT-6 Astra spent 17 hours checking the logic. The award has drawn scrutiny after two mathematicians said their unpublished research appeared in an OpenAI product, a claim the company disputes. Justin Sun’s prize uses machine-checkable proofs rather than traditional peer review and can pay separately for proving a result and formalizing it as code. Sun’s team credited OpenAI’s research team with the first $1 million top award, while warning that the announcement is not peer review and has not been confirmed by mathematicians.