Justin Sun Establishes "Justin Sun Prize" Mathematics Award, Emphasizing Machine Verification and On-Chain Transparency

PANews, September 16 - TRON founder Justin Sun announced the establishment of the "Justin Sun Prize," a mathematics-centered reward mechanism targeting solvers of significant mathematical problems and "formalizers" who convert proofs into machine-verifiable code. The award has no age or annual quota restrictions, with the sole distribution condition being "complete machine verification from the first line to the last line." The prize pool is locked on a blockchain address, allowing only additions and no withdrawals. Each problem can only be added, not deleted; if a problem statement contains errors, the bounty is still paid as agreed, and the problem is relisted. Sun stated that he does not participate in specific evaluations, only responsible for determining the problem list and corresponding bounty amounts, with the goal of establishing a long-term mechanism between pure theoretical mathematics and on-chain public incentives in the era of AI and formal verification.