Justin Sun Puts Mathematics Under The Justin Sun Prize Spotlight

Tron founder Justin Sun has announced the establishment of the Justin Sun Prize, a decentralized academic bounty mechanism built around a problem list, with breakthroughs in fundamental mathematics and machine formal verification as the criteria for awarding prizes, and a top prize of up to $1 million for a single problem.

Sun framed the initiative as a way of giving back to a discipline he credits with his own fortune, noting that because blockchain technology is built on cryptographic and mathematical foundations, he wants to funnel some of that wealth toward the mathematics community.

How the Prize Works

The prize recognizes winners in two categories: the "prover," who presents a solution to a difficult mathematical problem, and the "formalizer," who converts that proof into code that a computer can verify. Sun said the prize would not distinguish between humans and AI.

Unlike traditional awards, the Justin Sun Prize does not use nominations or credential thresholds as barriers to entry, nor does it operate on a four-year cycle or the rhythm of lifetime achievement. Instead, it ties the prize directly to mathematical problems and machine-verifiable formalized proofs. Anyone can receive the prize as long as they are the first to achieve a qualifying breakthrough.

Sun said the prize funds will be deposited on a blockchain, with records of proofs and payments disclosed publicly, while he will decide only the problem list and the size of the prizes.

OpenAI Takes the Top Prize

The first list of Justin Sun Prize winners was announced alongside the launch, recognizing solutions and formalized proofs involving 66 mathematical problems. The top prize, worth $1 million, was awarded to the OpenAI research team for its solution and formalized proof for the Existence and Smoothness of the Three-Dimensional Navier-Stokes Equations problem.

The Navier-Stokes Existence and Smoothness problem was listed by the Clay Mathematics Institute in 2000 as one of the seven Millennium Prize Problems, with a $1 million reward offered for its solution. OpenAI said it used a system of 10,000 coordinating agents powered by its internal AI model to produce the result. The announcement has not been without controversy, however, raising questions about credit attribution and whether researchers can safely use frontier AI tools to work on unpublished discoveries.

Sources:
CoinTelegraph: Justin Sun Establishes the Justin Sun Prize
CNBC: OpenAI claims to have solved the Navier-Stokes math problem
OpenAI: On the Navier-Stokes Millennium Prize Problem