Cause to belief
Strict editorial coverage that focuses on accuracy, relevance, and impartiality
Created by business consultants and meticulously reviewed
The best requirements in reporting and publishing
Strict editorial coverage that focuses on accuracy, relevance, and impartiality
Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Geneva, Switzerland — October 26, 2026 — The Workplace of Justin Solar immediately introduced a pilot program for the Justin Solar Prize in collaboration with MathDB, a mathematical analysis platform developed by Caltech Professor Tony Yue Yu and his staff.
The Justin Solar Prize was established to turn out to be the “Nobel Prize of the AI Period,” responding to the profound transformation of scientific analysis and incentives within the new period in a extra decentralized, formalized and machine-driven method. Drawback-level awards can attain $1 million, topic to the relevant award phrases and eligibility necessities.
The collaboration introduces a submission and assessment course of by MathDB. MathDB will settle for resolution submissions, confirm Lean formalizations and assessment expository supplies, whereas the Justin Solar Prize will individually assess eligibility, attribution, precedence and relevant award phrases.
“AI is altering the velocity at which arithmetic may be explored, however velocity alone just isn’t scientific progress,” mentioned Justin Solar, founding father of the Justin Solar Prize. “The chance 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 imagine 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 best tier contains P versus NP, the Riemann Speculation, Yang-Mills Existence and Mass Hole, the Hodge Conjecture, World Langlands functoriality and the Birch and Swinnerton-Dyer Conjecture, amongst others. The complete listing of taking part issues and relevant award phrases shall be accessible by MathDB and the Justin Solar Prize.
All awards are topic to full eligibility verification, compliance with anti-money laundering (AML/sanctions) legal guidelines, and official program guidelines accessible at https://www.hejustinsun.com/prize.
To broaden the attain and affect 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 resolution, 30% for Lean formalization and 20% for qualifying exposition.
MathDB is a large-scale neighborhood database of mathematical definitions, theorems, conjectures and open issues, with the purpose of creating mathematical information simpler to prepare, join and construct upon. The mission incorporates Lean formalization and automatic proof-verification functionality alongside mathematical explanations and supporting analysis supplies. Professor Tony Yue Yu from California Institute of Know-how, collectively together with his staff, shall be main the scientific features of the pilot.
“Fixing a elementary math drawback typically results in far more than a solution to the unique query,” mentioned Yu. “The method 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 Solar Prize celebrates this spirit of exploration by drawing consideration to difficult issues, supporting researchers who pursue them, and inspiring public dissemination of data. Our collaboration with the Justin Solar Prize is grounded within the perception that pursuing elementary 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 complete listing of taking part issues, submission necessities and assessment procedures shall be accessible by MathDB (https://mathdb.com/) and the Justin Sun Prize (https://www.hejustinsun.com/prize).
Concerning the Workplace of Justin Solar
The Workplace of Justin Solar helps Justin Solar’s world enterprise, philanthropic and public initiatives throughout expertise, blockchain, synthetic intelligence, scientific analysis, funding, artwork and area exploration.
Justin Solar is the Ambassador and former Everlasting Consultant of Grenada to the World Commerce Group and the Founding father of TRON. TRON is the main blockchain for the stablecoin revolution, processing over $13 trillion in quantity since its inception. On this planet’s rising markets, individuals depend on USDT on TRON to entry the worldwide monetary system.
A protégé of Alibaba founder Jack Ma, Solar has been acknowledged internationally for his work within the digital asset business, together with a Forbes cowl profile in April 2025 and a number of appearances on the Forbes 30 Underneath 30 listing. In August 2025, he flew aboard Blue Origin’s NS-34 mission, turning into the 712th individual in historical past to journey to area. His broader pursuits span expertise, funding, philanthropy, artwork, gaming, and area exploration.
Workplace of Justin Solar Contact:
About Justin Solar Prize
The Justin Solar Prize is an instructional initiative established by Justin Solar 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 power, rigor, and verifiability of the proof itself, not the status or fame of these submitting it.
Justin Solar 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 take a look at of time. The prize hyperlinks clearly outlined mathematical challenges to machine-verifiable proof. Its guiding ideas are openness, public profit and open-source entry.
Go to https://www.hejustinsun.com/prize for extra data.
Media Contact:
BlockmanPR Read More
