Justin Sun’s office has launched the Justin Sun Prize, a standing academic bounty program that offers as much as US$1 million for solutions to publicly listed mathematical problems backed by machine-verifiable proofs. Its first awards include a US$1 million payment to an OpenAI research team for work claiming to solve and formally verify the three-dimensional Navier–Stokes Existence and Smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize Problems.
The program, announced Sept. 16 from Geneva, replaces the traditional prize model of nominations, committees and periodic award cycles with an open problem list. Anyone can qualify for an award by being first to meet the stated criteria for a listed challenge, according to Sun’s office. The approach places formal verification at the center of eligibility: a claimed result must be represented in code that a proof-checking system can independently validate.
OpenAI said an internal model produced the Navier–Stokes proof, while GPT-6 Astra completed its Lean formalization and verification. Lean is a proof assistant, software used to express mathematical statements in a form that computers can check step by step. That process is intended to reduce reliance on human review alone, though mathematical claims of this scale will likely attract sustained scrutiny from researchers beyond the software verification process.
The initial release covers 66 mathematical problems and includes both solutions and formalized proofs, according to the announcement. The prize’s largest award went to the OpenAI team’s Navier–Stokes work.
A public bounty list rather than a fixed prize cycle
Sun’s office said the prize repository, containing problem statements and formalized code, will be publicly maintained and updated. Problems may be added but cannot be removed, creating a permanent record of the program’s commitments and results. Verification standards and supporting materials are expected to be published through GitHub, while payout records will be placed on-chain.
The framework also states that award funds do not need to be returned once paid. Winners will receive a certificate and medal in addition to the monetary payment. The medal’s edge carries the inscription “Quod probatur, solvitur,” translated by organizers as “Proved, then paid.”
That setup gives the program a different operating logic from established mathematics prizes, which typically rely on long review periods and panels of specialists. A public code repository could make individual proof steps available for inspection, reproduction and challenge by mathematicians and software-verification researchers. It would also make the prize system dependent on the quality of its specifications: a formally valid proof can establish only the theorem that has been accurately encoded.
The current problem list includes the Poincaré Conjecture, the Riemann Hypothesis and Goldbach’s Conjecture, the office said. It also contains unsolved questions associated with Paul Erdős, the prolific Hungarian mathematician and Wolf Prize laureate. The announcement did not frame every item as solved; rather, the list combines problems, submitted work and formal verification objectives.
Navier–Stokes claim revives a 200-year-old challenge
The Navier–Stokes equations model the movement of fluids, including air, water and other substances that flow. Their modern form developed from 19th-century work associated with Claude-Louis Navier and George Gabriel Stokes, among others. Engineers and physicists use versions of the equations in fields ranging from weather modeling to aircraft design.
The unresolved mathematical question is whether smooth, well-behaved solutions always continue to exist in three dimensions under the required conditions, or whether a solution can develop a singularity — effectively a point where the equations break down. In 2000, the Clay Mathematics Institute included the question among its seven Millennium Prize Problems, each carrying a US$1 million reward.
A formalized proof claiming to resolve the problem would therefore face two related tests. The Lean system must verify that the code follows from accepted axioms and earlier formalized results. Researchers must also examine whether the formal statement faithfully captures the Clay problem and whether the surrounding assumptions match the intended mathematical question. The Justin Sun Prize announcement presents the OpenAI work as a solution and formalized proof; broader academic assessment would determine how the claim is received.
Stablecoin payments connect the prize to public blockchains
Recipients may choose payment in USDT on TRON through the TRC-20 standard or USDC on Ethereum through ERC-20, according to Sun’s office. The choice makes stablecoins a settlement rail for an academic prize while avoiding direct exposure to the price volatility of TRON’s native token or Ethereum’s ETH.
On-chain payout records could allow the public to verify that awards were distributed, provided organizers disclose the relevant transaction details and wallet addresses. The system does not, by itself, prove the academic validity of a result; that role belongs to the published formal proof, the verifier and independent technical review.
Sun, the founder of TRON and Grenada’s former permanent representative to the World Trade Organization, has previously supported philanthropic initiatives in technology, disaster relief and environmental protection, according to his office. It said his recorded donations exceed US$45 million.
The office also described the prize fund as reserved for awards and open initiatives rather than commercial profit. By tying million-dollar awards to publicly verifiable code and stablecoin settlement, the program is attempting to make proof verification, publishing and payment parts of a single public process. Its credibility will rest less on the size of the bounty than on whether mathematicians, formal-methods specialists and the wider research community accept the proofs that earn it.
Curious how AI transforms crypto too? Explore how AI complements blockchain and its role in next‑generation financial innovation.
Disclaimer: The content on this page is provided for general informational purposes only and does not represent the views or financial advice of Toobit. We make no guarantees regarding the accuracy or completeness of this information and shall not be held liable for any errors, omissions, or outcomes resulting from its use. Investing in digital assets involves risk; users should independently evaluate their financial situation and the risks involved. For further details, please consult our Terms of Service and Risk Disclosure.
