Justin Sun Establishes 'Justin Sun Prize' in Mathematics, Emphasizing Machine Verification and On-Chain Transparency

PANews, September 16 news, TRON founder Justin Sun announced the establishment of the "Justin Sun Prize," which uses mathematics as its core reward mechanism, targeting provers who solve important mathematical problems and "formalizers" who formalize proofs into machine-verifiable code. The award has no age or annual quota restrictions, with the sole condition for payout being "complete verification by a machine from the first line to the last line." The prize pool has been locked on a blockchain address, allowing only additions and no withdrawals. Each problem can only be added, not deleted; if a problem statement is incorrect, the bounty will still be paid as agreed, and the problem will be re-listed. Sun stated that he will not participate in specific evaluations, only responsible for determining the list of problems 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.