OpenAI leaves Justin Sun’s $1M math prize unclaimed

OpenAI has declined to claim a $1 million prize awarded to it by crypto billionaire Justin Sun for its work on the Navier-Stokes equations, adding a second rejected math bounty to a result that has upended both mathematics and the debate over AI-generated research.

Sun announced the Justin Sun Prize on September 16 in Geneva, naming OpenAI's research team as the inaugural recipient for what the prize called a "solution and formalized proof" of the three-dimensional Navier-Stokes existence and smoothness problem. The prize's public GitHub repository marks the problem as solved and eligible to claim, but the money remains uncollected. OpenAI had already said it would not seek the $1 million Millennium Prize offered by the Clay Mathematics Institute for the same problem.yellow+3

The Proof That Started It All

On September 8, OpenAI announced that roughly 10,000 AI agents, running on an unnamed internal frontier model, had produced a proof showing that a fluid governed by the Navier-Stokes equations can develop a singularity — reaching infinite speed in finite time — when a smooth external force is applied. The agents worked for about 88 hours before GPT-6 Astra TRON ↗ 0.00% spent an additional 17 hours formalizing the result in the Lean proof assistant.openai+2

The result addresses parts C and D of the official Millennium Prize formulation — the versions involving an external force — while parts A and B, which ask whether an unforced fluid can break down on its own, remain open. The Clay Mathematics Institute said on September 11 that the announcement "appears to settle the question" but noted its rules require a formal evaluation before any prize decision, and the problem remains listed as active.yellow+3

Sun's Prize and Its Conditions

The Justin Sun Prize operates outside traditional academic channels, requiring machine-checkable proofs rather than peer review and making no distinction between human and AI contributors. "I care only about the result, not whether the contributor is human or a machine," Sun said. Payouts are offered in USDT on the TRON network or USDC on Ethereum ↗ 1.57%. The prize list includes 66 problems in its first round, among them the Riemann Hypothesis and Goldbach's Conjecture.coinalertnews+3

Sun, who founded the TRON blockchain, has faced legal scrutiny: the U.S. Securities and Exchange Commission sued him in 2023 over alleged securities fraud, though the case ended in March 2026 with a $10 million penalty paid by Rainberry and Sun neither admitting nor denying wrongdoing.billionaires

Attribution Questions Linger

The prize comes amid unresolved questions about credit. Tristan Buckmaster, a New York University mathematician, said unpublished work he stored in an OpenAI product may have informed the model's output, though he added, "I am not accusing anyone of anything". OpenAI said its investigation found that Buckmaster's prompts could not have influenced the system that produced the proof. A Nature editorial on September 16 called on AI companies to work with the research community to protect attribution.nature+1