Motive 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 — September 16, 2026 — The Workplace of Justin Solar as we speak introduced the institution of the Justin Solar Prize, a zero-trust, decentralized educational bounty mechanism based mostly on a “drawback checklist,” with breakthroughs in basic disciplines and machine formal verification as the standards for awarding prizes, and a high prize of as much as US$1 million for a single drawback. The prize seeks to redefine scientific rewards within the AI period and speed up basic scientific analysis by collaboration between people and AI.
The primary checklist of Justin Solar Prize winners was additionally introduced, recognizing options and formalized proofs involving 66 mathematical issues. The highest prize, value US$1 million, was awarded to the OpenAI analysis workforce in recognition of its resolution and formalized proof for the Existence and Smoothness of the Three-Dimensional Navier–Stokes Equations drawback. In response to data printed by OpenAI, the related proof was produced by its inside mannequin, and the Lean formalization and verification have been accomplished by GPT‑6 Astra.
This drawback considerations the Navier–Stokes equations, which describe the movement of fluids and are generally abbreviated because the N–S equations. The equations have been developed within the nineteenth century by French physicist Claude-Louis Navier, Irish-born British mathematician George Gabriel Stokes, and others, and have a historical past of roughly 2 hundred years. In 2000, the Clay Arithmetic Institute listed the Navier–Stokes Existence and Smoothness drawback as one of many seven Millennium Prize Issues and provided a US$1 million reward for its resolution.
The Justin Solar Prize doesn’t use conventional nominations or credential thresholds as limitations to entry, nor does it function on a four-year cycle or the rhythm of lifetime achievement. As a substitute, it ties the prize on to mathematical issues and machine-verifiable formalized proofs. Anybody can obtain the prize so long as they’re the primary to attain a qualifying breakthrough.
The imaginative and prescient of the Justin Solar Prize is to change into 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 manner. The repository of mathematical issues and formalized code can be maintained and publicly up to date on an ongoing foundation. As soon as an issue is listed, it’s locked in: issues will be added solely, by no means eliminated; awarded prize funds don’t have to be returned beneath any circumstances.
The present drawback checklist already contains formal verification of the Poincaré Conjecture, the Riemann Speculation, Goldbach’s Conjecture, and a lot of unsolved issues proposed throughout the lifetime of the late mathematician and Wolf Prize laureate Paul Erdős.
Along with the prize, winners will even obtain a certificates and a medal. The sting of the medal is inscribed with the Latin phrase “Quod probatur, solvitur,” that means “Proved, then paid.”
The Justin Solar Prize adheres to a few core rules: openness, public profit, and open supply. It’s open to all eligible contributors, with no restrictions based mostly on nationality, establishment, or identification, and makes no distinction between people and AI; funds are used solely for prize awards and open initiatives and should not meant for revenue; the issue checklist, affirmation requirements, proofs, and verification supplies are all made out there to the general public by GitHub, whereas prize disbursement information are recorded on-chain for everlasting traceability and immutability.
“An award named after an individual is the least political factor on this planet,” stated Solar. “Extra importantly, it offers me a solution to myself—my wealth is rooted in arithmetic. It got here from arithmetic, and it’ll return to arithmetic.”
In response to public information, Solar has donated greater than US$45 million throughout know-how, environmental safety, catastrophe reduction, and different fields. The Justin Solar Prize will change into a central focus of Solar’s philanthropic efforts, persevering with to assist breakthroughs in basic science by an open and verifiable mannequin.
The prize can be paid out in both USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) based mostly on the recipient’s alternative. For extra data, please go to www.hejustinsun.com/prize.
Concerning the Workplace of Justin Solar
The Workplace of Justin Solar helps Justin Solar’s international enterprise, philanthropic and public initiatives throughout know-how, 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 the planet’s rising markets, folks 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 Below 30 checklist. 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 know-how, funding, philanthropy, artwork, gaming, and area exploration.
Workplace of Justin Solar Contact:
About Justin Solar Prize
The Justin Solar Prize is a tutorial 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 must be judged by the power, rigor, and verifiability of the proof itself, not the status or repute of these submitting it.
Justin Solar established the prize in his personal identify as a long-term dedication to return wealth created by arithmetic and know-how 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 rules are openness, public profit and open-source entry.
Go to https://www.hejustinsun.com/prize for extra data.
Contact:
Motive 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 — September 16, 2026 — The Workplace of Justin Solar as we speak introduced the institution of the Justin Solar Prize, a zero-trust, decentralized educational bounty mechanism based mostly on a “drawback checklist,” with breakthroughs in basic disciplines and machine formal verification as the standards for awarding prizes, and a high prize of as much as US$1 million for a single drawback. The prize seeks to redefine scientific rewards within the AI period and speed up basic scientific analysis by collaboration between people and AI.
The primary checklist of Justin Solar Prize winners was additionally introduced, recognizing options and formalized proofs involving 66 mathematical issues. The highest prize, value US$1 million, was awarded to the OpenAI analysis workforce in recognition of its resolution and formalized proof for the Existence and Smoothness of the Three-Dimensional Navier–Stokes Equations drawback. In response to data printed by OpenAI, the related proof was produced by its inside mannequin, and the Lean formalization and verification have been accomplished by GPT‑6 Astra.
This drawback considerations the Navier–Stokes equations, which describe the movement of fluids and are generally abbreviated because the N–S equations. The equations have been developed within the nineteenth century by French physicist Claude-Louis Navier, Irish-born British mathematician George Gabriel Stokes, and others, and have a historical past of roughly 2 hundred years. In 2000, the Clay Arithmetic Institute listed the Navier–Stokes Existence and Smoothness drawback as one of many seven Millennium Prize Issues and provided a US$1 million reward for its resolution.
The Justin Solar Prize doesn’t use conventional nominations or credential thresholds as limitations to entry, nor does it function on a four-year cycle or the rhythm of lifetime achievement. As a substitute, it ties the prize on to mathematical issues and machine-verifiable formalized proofs. Anybody can obtain the prize so long as they’re the primary to attain a qualifying breakthrough.
The imaginative and prescient of the Justin Solar Prize is to change into 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 manner. The repository of mathematical issues and formalized code can be maintained and publicly up to date on an ongoing foundation. As soon as an issue is listed, it’s locked in: issues will be added solely, by no means eliminated; awarded prize funds don’t have to be returned beneath any circumstances.
The present drawback checklist already contains formal verification of the Poincaré Conjecture, the Riemann Speculation, Goldbach’s Conjecture, and a lot of unsolved issues proposed throughout the lifetime of the late mathematician and Wolf Prize laureate Paul Erdős.
Along with the prize, winners will even obtain a certificates and a medal. The sting of the medal is inscribed with the Latin phrase “Quod probatur, solvitur,” that means “Proved, then paid.”
The Justin Solar Prize adheres to a few core rules: openness, public profit, and open supply. It’s open to all eligible contributors, with no restrictions based mostly on nationality, establishment, or identification, and makes no distinction between people and AI; funds are used solely for prize awards and open initiatives and should not meant for revenue; the issue checklist, affirmation requirements, proofs, and verification supplies are all made out there to the general public by GitHub, whereas prize disbursement information are recorded on-chain for everlasting traceability and immutability.
“An award named after an individual is the least political factor on this planet,” stated Solar. “Extra importantly, it offers me a solution to myself—my wealth is rooted in arithmetic. It got here from arithmetic, and it’ll return to arithmetic.”
In response to public information, Solar has donated greater than US$45 million throughout know-how, environmental safety, catastrophe reduction, and different fields. The Justin Solar Prize will change into a central focus of Solar’s philanthropic efforts, persevering with to assist breakthroughs in basic science by an open and verifiable mannequin.
The prize can be paid out in both USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) based mostly on the recipient’s alternative. For extra data, please go to www.hejustinsun.com/prize.
Concerning the Workplace of Justin Solar
The Workplace of Justin Solar helps Justin Solar’s international enterprise, philanthropic and public initiatives throughout know-how, 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 the planet’s rising markets, folks 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 Below 30 checklist. 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 know-how, funding, philanthropy, artwork, gaming, and area exploration.
Workplace of Justin Solar Contact:
About Justin Solar Prize
The Justin Solar Prize is a tutorial 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 must be judged by the power, rigor, and verifiability of the proof itself, not the status or repute of these submitting it.
Justin Solar established the prize in his personal identify as a long-term dedication to return wealth created by arithmetic and know-how 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 rules are openness, public profit and open-source entry.
Go to https://www.hejustinsun.com/prize for extra data.
Contact:
