Justin Sun Awards OpenAI $1 Million for Solving a 200-Year-Old Equation

A Prize Built Around Proof, Not Prestige

On September 16, 2026, Justin Sun’s office announced the Justin Sun Prize from Geneva, Switzerland – a decentralized academic bounty system that skips nominations, credential checks, and institutional gatekeeping entirely. The prize awards up to US$1 million per problem, with eligibility determined by one thing only: a machine-verifiable formalized proof that a listed problem has been solved.

Alongside the announcement came the first set of winners – solutions and formalized proofs covering 66 mathematical problems. The largest award, US$1 million, went to the OpenAI research team for resolving a problem that had sat unsolved for over two centuries and carried its own million-dollar bounty from a separate institution since the year 2000.

The Navier-Stokes Problem, Finally Closed

The winning proof addressed the Existence and Smoothness of the Three-Dimensional Navier-Stokes Equations – a problem rooted in 19th-century physics and mathematics. The equations, developed by French physicist Claude-Louis Navier and Irish-born British mathematician George Gabriel Stokes, describe how fluids move through three-dimensional space. Despite being foundational to fluid dynamics, their mathematical completeness remained unconfirmed for roughly 200 years.

According to information published by OpenAI, the proof itself was produced by an internal model. The Lean formalization and verification – the step that converts a mathematical argument into machine-checkable code – were completed by GPT-6 Astra. This matters for the Justin Sun Prize specifically because the prize framework requires not just a solution but a formalized proof that can be verified automatically, without relying on human peer review as the final arbiter.

The Clay Mathematics Institute had listed Navier-Stokes Existence and Smoothness as one of its seven Millennium Prize Problems in 2000, attaching a US$1 million reward to it at that time. The Justin Sun Prize arriving at the same figure, for the same problem, through a completely different institutional structure, makes the moment somewhat pointed: two entirely separate frameworks – one traditional, one decentralized – converging on the same result, the same valuation, and apparently the same timing.

How the Prize System Actually Works

The Justin Sun Prize operates on a problem-list model. Problems are added publicly to a repository and, once listed, cannot be removed. Prize funds already awarded cannot be reclaimed under any circumstances. The current list includes formal verification targets for the Poincaré Conjecture, the Riemann Hypothesis, Goldbach’s Conjecture, and a large number of unsolved problems proposed during the lifetime of mathematician and Wolf Prize laureate Paul Erdős.

There are no four-year award cycles. There is no nominations committee. The prize goes to whoever submits the first qualifying proof for a listed problem, regardless of nationality, institutional affiliation, or whether the solver is human or AI. The problem list, confirmation standards, proofs, and verification materials are all published through GitHub. Prize disbursements are recorded on-chain for permanent traceability. Three stated principles govern the structure: openness, public benefit, and open source. Funds are designated exclusively for prize awards and open initiatives, with no profit component built in.

Winners receive more than the money. Each is issued a certificate and a medal whose edge is inscribed with the Latin phrase Quod probatur, solvitur – “Proved, then paid.” The phrase captures the underlying logic of the system: payment is not discretionary, not delayed, and not subject to institutional politics. If the proof clears machine verification, the prize follows.

Sun described the prize in personal terms. “An award named after a person is the least political thing in the world,” he said. “More importantly, it gives me an answer to myself – my wealth is rooted in mathematics. It came from mathematics, and it will return to mathematics.” According to public records, Sun has donated more than US$45 million across technology, environmental protection, disaster relief, and other fields. The Justin Sun Prize is positioned to become a continuing part of that giving, with the problem repository set to grow as new challenges are added.

Reframing How Scientific Breakthroughs Get Rewarded

The prize’s stated ambition is to function as the “Nobel Prize of the AI Era” – a framing that acknowledges how AI’s role in formal mathematics is changing what a scientific breakthrough even looks like. When a model produces a proof and another model verifies it in Lean, the traditional picture of a lone researcher or small team working through decades of incremental work starts to break down. The Justin Sun Prize is structured around that reality rather than against it.

What that means practically is that the verification layer carries most of the institutional weight. There is no panel deciding whether a proof is convincing or elegant – only whether it passes. That removes subjectivity from the award process, but it also raises questions that the prize framework does not yet answer publicly: what happens when a verification tool has its own errors, or when two teams submit proofs for the same problem within days of each other?

The Navier-Stokes result from OpenAI is a striking starting point, not because of the money – US$1 million in a space where token valuations move that much in an afternoon is contextually modest – but because the problem has carried symbolic weight for a quarter century. The Clay Institute’s Millennium Problems were designed to mark the hardest open questions in mathematics at the turn of the century. Closing one of them through an AI model, verified by another AI model, then paid out through an on-chain record managed by a crypto entrepreneur, would have been an entirely incoherent sentence in 2000.

Six of the seven Millennium Prize Problems remain open. The Riemann Hypothesis is already on the Justin Sun Prize list.