Justin Sun Prize Partners With MathDB, Led by Caltech Professor Tony Yue Yu, on 50-Problem Pilot
The Office of Justin Sun right now introduced a pilot program for the Justin Sun Prize in collaboration with MathDB, a mathematical analysis platform developed by Caltech Professor Tony Yue Yu and his staff.
The Justin Sun Prize was established to turn out to be the “Nobel Prize of the AI Era,” responding to the profound transformation of scientific analysis and incentives within the new period in a extra decentralized, formalized and machine-driven manner. Problem-level awards can attain $1 million, topic to the relevant award phrases and eligibility necessities.
The collaboration introduces a submission and evaluate course of by MathDB. MathDB will settle for answer submissions, confirm Lean formalizations and evaluate expository supplies, whereas the Justin Sun Prize will individually assess eligibility, attribution, precedence and relevant award phrases.
“AI is altering the pace at which arithmetic will be explored, however pace alone will not be scientific progress,” mentioned Justin Sun, founding father of the Justin Sun Prize. “The alternative is to create a framework the place human perception and machine intelligence can work collectively with out compromising rigor. Working with MathDB brings mathematical discovery and machine-verifiable proof into the identical course of, which we consider can assist outline a extra rigorous mannequin for future discoveries.”
The pilot covers 50 issues throughout 4 award ranges, with problem-level prize swimming pools as much as $1 million, relying on the issue. The highest tier consists of 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, amongst others. The full record of collaborating issues and relevant award phrases can be obtainable by MathDB and the Justin Sun Prize.
All awards are topic to full eligibility verification, compliance with anti-money laundering (AML/sanctions) legal guidelines, and official program guidelines obtainable at https://www.hejustinsun.com/prize.
To broaden the attain and impression of superior analysis, the MathDB pilot program will reward not solely options to mathematical issues but in addition participating and accessible communication of these options. The reward is split into three classes: 50% for the mathematical answer, 30% for Lean formalization and 20% for qualifying exposition.
MathDB is a large-scale group database of mathematical definitions, theorems, conjectures and open issues, with the intention of creating mathematical data simpler to arrange, join and construct upon. The venture incorporates Lean formalization and automatic proof-verification functionality alongside mathematical explanations and supporting analysis supplies. Professor Tony Yue Yu from California Institute of Technology, collectively together with his staff, can be main the scientific elements of the pilot.
“Solving a basic math drawback typically results in way more than a solution to the unique query,” mentioned Yu. “The course of can reveal sudden connections, introduce highly effective instruments and open solely new instructions of analysis. These developments can have an affect that extends throughout generations and disciplines. The Justin Sun Prize celebrates this spirit of exploration by drawing consideration to difficult issues, supporting researchers who pursue them, and inspiring public dissemination of information. Our collaboration with the Justin Sun Prize is grounded within the perception that pursuing basic analysis by decentralized, rigorous and verifiable approaches can speed up the tempo of discovery and scientific progress, and contribute to the development of human civilization.”
The full record of collaborating issues, submission necessities and evaluate procedures can be obtainable by MathDB (https://mathdb.com/) and the Justin Sun Prize (https://www.hejustinsun.com/prize).
About the Office of Justin Sun
The Office of Justin Sun helps Justin Sun’s world enterprise, philanthropic and public initiatives throughout expertise, blockchain, synthetic intelligence, scientific analysis, funding, artwork and area exploration.
Justin Sun is the Ambassador and former Permanent Representative of Grenada to the World Trade Organization and the Founder of TRON. TRON is the main blockchain for the stablecoin revolution, processing over $13 trillion in quantity since its inception. In the world’s rising markets, individuals rely on USDT on TRON to entry the worldwide monetary system.
A protégé of Alibaba founder Jack Ma, Sun has been acknowledged internationally for his work within the digital asset trade, together with a Forbes cowl profile in April 2025 and a number of appearances on the Forbes 30 Under 30 record. In August 2025, he flew aboard Blue Origin’s NS-34 mission, turning into the 712th particular person in historical past to journey to area. His broader pursuits span expertise, funding, philanthropy, artwork, gaming, and area exploration.
About Justin Sun Prize
The Justin Sun Prize is an instructional initiative established by Justin Sun to assist advances in arithmetic, formal verification, and AI-assisted scientific discovery. The prize is decentralized and constructed across the precept that mathematical work needs to be judged by the energy, rigor, and verifiability of the proof itself, not the status or popularity of these submitting it.
Justin Sun established the prize in his personal title as a long-term dedication to return wealth created by arithmetic and expertise again to arithmetic itself. Its legacy is meant to be outlined by the physique of labor it acknowledges and the laureates whose discoveries stand the check of time. The prize hyperlinks clearly outlined mathematical challenges to machine-verifiable proof. Its guiding ideas are openness, public profit and open-source entry.
Visit https://www.hejustinsun.com/prize for extra info.
The submit Justin Sun Prize Partners With MathDB, Led by Caltech Professor Tony Yue Yu, on 50-Problem Pilot appeared first on BeInCrypto.
