Justin Sun Prize partners with MathDB to launch 50-problem pilot with $1 million awards

The Justin Sun Prize, founded to become the "Nobel Prize of the AI Era," has launched a pilot program with MathDB, a mathematical research platform led by Caltech Professor Tony Yue Yu. The initiative covers 50 mathematical problems across four award levels, with individual prizes reaching up to $1 million, including the highest tier featuring Millennium Prize problems such as P versus NP and the Riemann Hypothesis. The collaboration introduces a submission and review process where MathDB handles solution verification and Lean formalization, while the Prize separately assesses eligibility and attribution. Rewards are divided into 50% for mathematical solutions, 30% for formalization, and 20% for exposition, aiming to integrate human insight with machine intelligence.