[Justin Sun Establishes 'Justin Sun Prize' Mathematics Award, Emphasizing Machine Verification and On-Chain Transparency] TRON founder Justin Sun has announced the establishment of the 'Justin Sun Prize,' a mathematics-focused reward mechanism aimed at individuals who solve significant mathematical problems and formalize proofs into machine-verifiable code, known as 'formalizers.' The award has no age or annual quota restrictions, with the sole condition for disbursement being 'complete machine verification from the first line to the last line.' The prize fund has been locked in a blockchain address, allowing only additions and prohibiting withdrawals. Each problem can only be added, not removed; even if there is an error in the problem statement, the bounty will still be paid as agreed, and the listing will be updated. Sun stated that he will not participate in the specific evaluation process but will be responsible for determining the list of problems and corresponding reward amounts. The goal is to establish a long-term mechanism between pure theoretical mathematics and on-chain public incentives in the era of AI and formal verification.