TRON founder Justin Sun announced the creation of the Justin Sun Prize, a mathematics-focused award targeting provers who solve major problems and formalizers who convert proofs into machine-verifiable code. The prize has no age limits or annual quotas. Payouts require complete machine verification from the first line to the last, while the prize pool is locked at a blockchain address that permits only additions and no withdrawals. Problems can be added but not deleted; if a problem statement is incorrect, the bounty will still be paid as agreed and the problem will be re-listed. Sun said he will not take part in specific evaluations and will only determine the problem list and bounty amounts, aiming to build a long-term mechanism linking pure theoretical mathematics with on-chain public incentives in the era of AI and formal verification.