The Office of Justin Sun has announced a 50-problem pilot program for the Justin Sun Prize in partnership with MathDB, a mathematical research platform led by California Institute of Technology (Caltech) Professor Tony Yue Yu. Marketed to become the "Nobel Prize of the AI Era," the program provides problem-level awards of up to $1 million for mathematical breakthroughs verified through formal machine-driven systems.
Key Takeaways
- 50-Problem Pilot: Includes millennium-level challenges such as P versus NP, the Riemann Hypothesis, and the Hodge Conjecture.
- Reward Breakdown: 50% allocated to the core mathematical solution, 30% to Lean formalization, and 20% to accessible exposition.
- Scientific Leadership: Scientific direction led by Caltech Professor Tony Yue Yu and his research team via MathDB.
- Verification Workflow: MathDB handles proof submissions and automated verification, while the Justin Sun Prize evaluates priority, attribution, and compliance.
Reward Structure and Covered Mathematical Problems
The pilot program spans four distinct award levels across 50 open mathematical problems, with individual problem pools reaching up to $1 million. The highest award tier covers famous open problems in mathematics, including P versus NP, the Riemann Hypothesis, Yang-Mills Existence and Mass Gap, the Hodge Conjecture, Global Langlands functoriality, and the Birch and Swinnerton-Dyer Conjecture.
To encourage both formal rigor and public understanding, overall prize money is split into three specific categories: 50% for the foundational mathematical solution, 30% for machine-verifiable Lean formalization, and 20% for qualifying expository writing. As recent industry analysis notes how AI surpasses human intelligence in higher math, the initiative aims to combine formal machine logic with human insight.
Review Process and Verification Framework
Under the pilot framework, MathDB will manage technical submissions, run automated proof-verification using Lean, and review expository content. The Justin Sun Prize office will separately evaluate applicant eligibility, scientific priority, attribution, and compliance with anti-money laundering (AML) and sanctions regulations.
TRON founder Justin Sun stated that while artificial intelligence accelerates scientific exploration, speed alone does not replace scientific rigor without machine-verifiable proof. Caltech Professor Tony Yue Yu noted that pursuing fundamental mathematical research through decentralized and verifiable methods can accelerate cross-disciplinary discovery.
Why It Matters
This partnership represents an innovative attempt to blend crypto-derived capital with formal academic research by automating the peer-review process through software verification. By allocating 30% of total prize payouts specifically to Lean formalization, the prize incentivizes researchers to turn abstract mathematical proofs into code that AI systems can independently validate. If successful, this decentralized pilot could offer a new blueprint for funding global scientific research while eliminating reliance on traditional institution-bound peer review.
