How Does the Justin Sun Prize Work?
TRON founder Justin Sun has launched a mathematics prize offering rewards of up to $1 million for solving selected problems and producing machine-verifiable proofs, with OpenAI receiving the inaugural top award.The Justin Sun Prize is built around a publicly maintained list of mathematical problems rather than academic nominations, institutional affiliations or fixed award cycles. Researchers can qualify by solving listed problems and meeting the program’s formal verification requirements.The first round recognizes work involving 66 mathematical problems, with OpenAI awarded the $1 million top prize for its recently announced work on the three-dimensional Navier-Stokes existence and smoothness problem.Participation is open regardless of nationality or academic status, and the program does not distinguish between mathematical work produced by humans and AI systems. Successful submissions must pass machine verification before an award can be completed.Submissions, candidate records, verification materials and award information are intended to be maintained through the prize’s GitHub organization, creating a public record of how each mathematical result was evaluated.
Why Did OpenAI Win the First $1 Million Award?
OpenAI announced on September 8 that an internal AI system had produced a solution showing that Navier-Stokes dynamics can develop a singularity in finite time. The company said the mathematical result was generated by an internal model more capable than GPT-6 Astra, with Astra subsequently used in the formalization and verification process through the Lean theorem prover.The Navier-Stokes equations describe fluid motion and are fundamental to physics and engineering. The question of whether smooth solutions to the three-dimensional equations always remain smooth has been one of mathematics’ most closely watched unresolved problems.The Clay Mathematics Institute included Navier-Stokes among the seven Millennium Prize Problems established in 2000, each carrying a separate $1 million award.The institute has not yet awarded its Millennium Prize for the new work. It said on September 10 that the problem had “apparently been settled,” while stressing that its established process for evaluating the result and assigning credit would continue.The Justin Sun Prize operates independently, allowing it to recognize OpenAI’s work without waiting for the Clay Mathematics Institute’s review process to conclude.
Investor Takeaway
Why Does Machine Verification Matter?
The prize places formal verification at the center of its model. Instead of relying only on peer review or expert judgment, qualifying work must be translated into a format that mathematical software can check.That requirement becomes increasingly important as AI systems generate proofs that may be too complex or too numerous for conventional review processes to handle quickly. Formal theorem provers such as Lean can check whether individual logical steps follow from established assumptions, providing another layer of validation before money is awarded.The published problem list includes challenges connected to the Riemann Hypothesis, Goldbach’s Conjecture and the Poincaré Conjecture, along with problems associated with mathematician Paul Erdős.Once a problem is included, Sun’s office says it cannot subsequently be removed. The structure therefore resembles a standing mathematical bounty system in which clearly defined problems remain open until qualifying work satisfies the required verification standards.
Where Does Crypto Fit Into the Prize?
The payment mechanism brings the project directly into Sun’s blockchain ecosystem. Winners can receive awards in USDT on the TRON blockchain or USDC on Ethereum, depending on their preference, while payment records are intended to remain publicly visible on-chain.Recipients also receive a certificate and medal bearing the Latin phrase “Quod probatur, solvitur,” translated by the organizers as “Proved, then paid.”“More importantly, it gives me an answer to myself—my wealth is rooted in mathematics,” Sun said. “It came from mathematics, and it will return to mathematics.”The launch arrives as AI systems move beyond assisting researchers with calculations and literature searches toward generating and formally verifying advanced mathematical arguments themselves.That creates a new question for scientific institutions: how should discoveries be credited when an AI system produces the underlying proof, another model formalizes it and human researchers oversee the process?The Justin Sun Prize takes a direct approach. It focuses on whether the listed problem has been solved and formally verified, rather than whether the proof originated with a person or an AI system. If that model gains traction, mathematical prizes could become another area where machine verification and blockchain settlement move from experimental tools into institutional infrastructure.
