OpenAI’s research team was named the winner of Justin Sun’s inaugural $1 million prize for an artificial-intelligence-authored, Lean-formalized proof addressing the three-dimensional Navier-Stokes existence and smoothness problem, but the award remains unclaimed. OpenAI said 10,000 AI agents worked on the problem for 88 hours before GPT-6 Astra spent 17 hours checking the logic. The Clay Mathematics Institute still lists Navier-Stokes as an active Millennium Prize Problem, and OpenAI has said it will not claim Clay’s separate $1 million award. Two mathematicians said unpublished research may have been incorporated into an OpenAI product, a claim OpenAI disputes. Sun’s prize accepts machine-checkable results under its own rules rather than traditional peer review, and its warning says the OpenAI announcement has not been confirmed by mathematicians.