Justin Sun Announces the Establishment of the "Justin Sun Prize" and Reveals the First Batch of Winners: OpenAI Team Receives the $1 Million Grand Prize

Odaily News: On September 16, Justin Sun, founder of TRON, announced the official establishment of the "Justin Sun Prize" and revealed the first batch of winners. This is the world's first zero-trust, decentralized academic bounty mechanism based on a "problem list," with major breakthroughs in fundamental disciplines and machine formal verification as the sole criteria for awarding prizes, with a maximum single-problem prize of $1 million. Justin Sun stated that the prize aims to inaugurate a new scientific incentive paradigm centered on machine verification, driven by human-AI collaboration, and powered by decentralized bounties, striving to create the Nobel Prize of the AI era.

The $1 million grand prize was awarded to the OpenAI research team in recognition of their achievement in solving the "existence and smoothness problem of the three-dimensional Navier–Stokes equations (N-S equations)" and their formal proof. Other winning achievements include the Sendov conjecture, the Erdős distinct subset sums problem, and others, covering a total of 66 mathematical problems.

It is reported that the "Justin Sun Prize" is open to all contributors with no identity restrictions—both humans and AI are eligible to win—but it will only be awarded to the first person to complete a problem on the list. The problem list and proof materials are made public via GitHub, and prize funds are recorded on-chain. The prize covers mathematical advances made on or after January 1, 2026. For problems already solved previously but formally verified afterward, the formalizer is eligible to receive the prize.