Justin Sun Launches 'Justin Sun Prize' for Machine-Verified Mathematical Proofs

Justin Sun has launched the 'Justin Sun Prize,' combining mathematical problem-solving with formal verification. The prize rewards those who present proofs that machines can verify entirely from beginning to end, using funds locked on a blockchain address. PANews reported that Tron founder Justin Sun announced the initiative.

The prize targets individuals who solve significant math problems and formalize their solutions into machine-verifiable code. Rewards are contingent upon full machine verification—proofs must be verified line by line without gaps. There are no age or annual winner limits. Payment depends on whether the solution is implemented in a verifiable format, not merely the mathematical idea itself.

Formal verification transforms mathematical proofs or program logic into a machine-checkable form following predefined rules. This process is easier to repeat than natural language solutions. The prize fund remains locked on-chain, with no possibility of withdrawal but allowing additions. All reward structures and fund flows are visible on-chain for transparency.

Problem lists are managed by continuous addition without deletion. If errors are found in problem statements, rewards are paid out first before re-registering the issue. This ensures problems cannot be removed or conditions altered to reverse payouts—a principle aimed at minimizing subjective judgment during review.

Sun stated he will not participate in specific reviews but focus on setting problem lists and reward amounts per question. Decisions will rely solely on machine verification results rather than personal judgment. The initiative aligns with trends where AI solves math problems and formalizes them into proof code, splitting rewards between idea creators and formalizers.

Specific reward sizes and the first list of mathematical challenges remain undisclosed. Actual participation levels and research outcomes will be determined once specific problems and conditions are announced.