Motive to belief
Strict editorial coverage that focuses on accuracy, relevance, and impartiality
Created by trade specialists 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 right this moment introduced the institution of the Justin Solar Prize, a zero-trust, decentralized tutorial bounty mechanism based mostly on a “downside record,” with breakthroughs in elementary disciplines and machine formal verification as the standards for awarding prizes, and a prime prize of as much as US$1 million for a single downside. The prize seeks to redefine scientific rewards within the AI period and speed up elementary scientific analysis by means of collaboration between people and AI.
The primary record 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 crew in recognition of its answer and formalized proof for the Existence and Smoothness of the Three-Dimensional Navier–Stokes Equations downside. Based on data revealed by OpenAI, the related proof was produced by its inside mannequin, and the Lean formalization and verification had been accomplished by GPT‑6 Astra.
This downside considerations the Navier–Stokes equations, which describe the movement of fluids and are generally abbreviated because the N–S equations. The equations had 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 downside as one of many seven Millennium Prize Issues and provided a US$1 million reward for its answer.
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 turn 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 approach. The repository of mathematical issues and formalized code will likely be maintained and publicly up to date on an ongoing foundation. As soon as an issue is listed, it’s locked in: issues might be added solely, by no means eliminated; awarded prize funds don’t must be returned beneath any circumstances.
The present downside record already contains formal verification of the Poincaré Conjecture, the Riemann Speculation, Goldbach’s Conjecture, and numerous unsolved issues proposed in the course of 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,” which means “Proved, then paid.”
The Justin Solar Prize adheres to 3 core rules: openness, public profit, and open supply. It’s open to all eligible contributors, with no restrictions based mostly on nationality, establishment, or id, and makes no distinction between people and AI; funds are used completely for prize awards and open initiatives and are usually not supposed for revenue; the issue record, affirmation requirements, proofs, and verification supplies are all made accessible to the general public by means of 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 the earth,” mentioned Solar. “Extra importantly, it provides me a solution to myself—my wealth is rooted in arithmetic. It got here from arithmetic, and it’ll return to arithmetic.”
Based on public information, Solar has donated greater than US$45 million throughout expertise, environmental safety, catastrophe aid, and different fields. The Justin Solar Prize will turn into a central focus of Solar’s philanthropic efforts, persevering with to assist breakthroughs in elementary science by means of an open and verifiable mannequin.
The prize will likely be paid out in both USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) based mostly on the recipient’s selection. For extra data, please go to www.hejustinsun.com/prize.
In regards to 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 house 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 trade, together with a Forbes cowl profile in April 2025 and a number of appearances on the Forbes 30 Below 30 record. In August 2025, he flew aboard Blue Origin’s NS-34 mission, changing into the 712th individual in historical past to journey to house. His broader pursuits span expertise, funding, philanthropy, artwork, gaming, and house exploration.
Workplace of Justin Solar Contact:
About Justin Solar Prize
The Justin Solar Prize is an educational 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 energy, rigor, and verifiability of the proof itself, not the status or status of these submitting it.
Justin Solar established the prize in his personal identify as a long-term dedication to return wealth created by means of 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 rules are openness, public profit and open-source entry.
Go to https://www.hejustinsun.com/prize for extra data.
Contact:
