OpenAI has been named the winner of Justin Sun’s inaugural $1 million mathematics prize for an AI-authored proof addressing the three-dimensional Navier-Stokes equations, a fluid-dynamics problem that mathematicians have worked on for decades. The award remains unclaimed, echoing OpenAI’s decision not to collect an identical $1 million Millennium Prize from the Clay Mathematics Institute, which still lists the problem as active. OpenAI said 10,000 AI agents worked on the problem for 88 hours before GPT-6 Astra spent 17 hours checking the logic. Two mathematicians said unpublished research may have been included in an OpenAI product, a claim the company disputes. Sun’s prize uses machine-checkable proofs (results verified by software) and allows separate payouts for proving a result and converting it into code. His list marks Navier-Stokes as solved, credits the OpenAI team and says the award is eligible to claim, while warning that the announcement has not undergone peer review or been confirmed by mathematicians.