Justin Sun Prize Launches 50-Problem Pilot with MathDB Led by Caltech's Tony Yue Yu

The Office of Justin Sun has announced a new pilot program for the Justin Sun Prize in collaboration with MathDB, a mathematical research platform developed by Caltech Professor Tony Yue Yu and his team. This initiative aims to establish a decentralized and formalized approach to scientific research, likened to a 'Nobel Prize of the AI Era.'

Under the pilot program, participants can submit solutions to 50 mathematical problems, with potential awards reaching up to $1 million depending on the complexity of the problem. Notable challenges include the P vs NP problem, the Riemann Hypothesis, and the Hodge Conjecture.

MathDB will facilitate the submission and review process, verifying Lean formalizations and assessing the quality of expository materials. The Justin Sun Prize will handle eligibility and award terms separately. Justin Sun emphasized the importance of combining human insight with machine intelligence to foster rigorous scientific progress.

To enhance the impact of this initiative, the prize distribution will reward not only the mathematical solutions but also the clarity and accessibility of their communication. The prize allocation includes 50% for the solution, 30% for Lean formalization, and 20% for exposition.

Professor Tony Yue Yu expressed that solving fundamental math problems often uncovers unexpected connections and tools, potentially influencing research across generations. The collaboration aims to accelerate discovery through rigorous and verifiable methods, contributing to the advancement of human knowledge.