Justin Sun Establishes the Justin Sun Prize: “My Wealth Came from Mathematics and Will Return to Mathematics”

Geneva, Switzerland — September 16, 2026 — The Office of Justin Sun today announced the establishment of the Justin Sun Prize, a zero-trust, decentralized academic bounty mechanism based on a “problem list,” with breakthroughs in fundamental disciplines and machine formal verification as the criteria for awarding prizes, and a top prize of up to US$1 million for a single problem. The prize seeks to redefine scientific rewards in the AI era and accelerate fundamental scientific research through collaboration between humans and AI. The first list of Justin Sun Prize winners was also announced, recognizing solutions and formalized proofs involving 66 mathematical problems. The top prize, worth US$1 million, was awarded to the OpenAI research team in recognition of its solution and formalized proof for the Existence and Smoothness of the Three-Dimensional Navier–Stokes Equations problem. According to information published by OpenAI, the relevant proof was produced by its internal model, and the Lean formalization and verification were completed by GPT‑6 Astra. This problem concerns the Navier–Stokes equations, which describe the motion of fluids and are commonly abbreviated as the N–S…

≈