Blockchain-Powered Math: Justin Sun Unveils Prize for Machine-Verifiable Proofs

TRON founder Justin Sun has introduced a novel academic incentive designed to revitalize mathematical research through blockchain technology. The initiative, named the Justin Sun Prize, seeks to redefine how scholarly awards are distributed and verified.

Core Mechanism: Machine Verification and On-Chain Transparency

Diverging from traditional prizes that rely on expert panels, this award sets an objective criterion: the proof must be fully verifiable by a machine from the first line to the last. The sole condition for receiving the bounty is the successful execution and verification of the submitted code.

The prize's funding model is distinctly blockchain-native:

  • Fully Transparent Pool: All funds are locked in a public blockchain address, with balances and transactions open for real-time scrutiny.
  • Irreversible Funds: The address only accepts additional deposits; locked funds cannot be unilaterally withdrawn, guaranteeing the commitment's integrity.
  • Immutable Rules: Published mathematical problems can only be added, not removed. Even if a problem statement is later found to be flawed, the bounty will be paid as promised, and a corrected version will be relisted.

The Vision: Bridging Theoretical Math and Digital-Age Incentives

Sun stated that his role is limited to setting the list of unsolved problems and their corresponding bounty amounts, with no involvement in the technical review process. The goal is to establish a permanent, automated bridge between pure theoretical mathematics and open, transparent, on-chain incentives in an era of advancing AI and formal verification.

The prize imposes no restrictions on age, nationality, or annual quotas, opening the competition globally to any mathematician, computer scientist, or enthusiast who meets its technical standards. This approach removes traditional barriers in academic award judging and fund management, entrusting the verification and valuation of mathematical achievements to objective algorithms and a public ledger.