Justin Sun Launches On-Chain Math Prize With $1 Million Bounties

The Clay Mathematics Institute introduced the seven Millennium Prize Problems in 2000, attaching a $1 million award to each. Six remain unsolved after the Poincaré conjecture was resolved. TRON founder Justin Sun’s new Justin Sun Prize adapts that bounty model for blockchain funding and formal verification, allowing human researchers, AI systems or teams combining both to pursue machine-checkable solutions.

Sun announced the Justin Sun Prize on Sept. 16, 2026, listing a $1 million bounty for each of the seven Millennium problems. Funds are locked at public blockchain addresses and can be increased but not withdrawn. A proof must first gain acceptance from the mathematics community and then pass complete, line-by-line machine verification before payment to the prover and the formalizer who converts the work into verifiable code; the same contributor may fill both roles.