The Office of Justin Sun announced a pilot for the Justin Sun Prize with the math research platform MathDB on October 26, 2026. The pilot is set to cover 50 problems across four award levels, with prize pools of up to $1 million for a problem. Awards remain subject to eligibility checks, anti-money-laundering and sanctions compliance, and official rules; the full problem list and terms were not provided in the announcement.
MathDB will accept solutions, verify Lean formalizations and review explanations. The Justin Sun Prize will separately assess eligibility, attribution, priority and award terms. The planned reward split is 50% for the solution, 30% for Lean formalization and 20% for qualifying explanation.
