Purpose to belief
Strict editorial coverage that focuses on accuracy, relevance, and impartiality
Created by business consultants and meticulously reviewed
The very 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 at the moment introduced the institution of the Justin Solar Prize, a zero-trust, decentralized educational bounty mechanism primarily based on a “downside checklist,” with breakthroughs in elementary disciplines and machine formal verification as the factors for awarding prizes, and a high 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 via 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 downside. Based on data printed 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 issues 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 supplied a US$1 million reward for its resolution.
The Justin Solar Prize doesn’t use conventional nominations or credential thresholds as obstacles to entry, nor does it function on a four-year cycle or the rhythm of lifetime achievement. As an alternative, 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 realize 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 means. The repository of mathematical issues and formalized code will probably be maintained and publicly up to date on an ongoing foundation. As soon as an issue is listed, it’s locked in: issues could be added solely, by no means eliminated; awarded prize funds don’t have to be returned beneath any circumstances.
The present downside checklist already contains formal verification of the Poincaré Conjecture, the Riemann Speculation, Goldbach’s Conjecture, and a lot of 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 can 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 ideas: openness, public profit, and open supply. It’s open to all eligible contributors, with no restrictions primarily based on nationality, establishment, or id, and makes no distinction between people and AI; funds are used completely for prize awards and open initiatives and aren’t supposed for revenue; the issue checklist, affirmation requirements, proofs, and verification supplies are all made out there to the general public via GitHub, whereas prize disbursement data are recorded on-chain for everlasting traceability and immutability.
“An award named after an individual is the least political factor on the planet,” mentioned 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.”
Based on public data, Solar has donated greater than US$45 million throughout know-how, 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 help breakthroughs in elementary science via an open and verifiable mannequin.
The prize will probably be paid out in both USDT on TRON (TRC-20) or USDC on Ethereum (ERC-20) primarily based 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 earth’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 Beneath 30 checklist. In August 2025, he flew aboard Blue Origin’s NS-34 mission, changing into the 712th individual 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 an instructional initiative established by Justin Solar to help 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 popularity of these submitting it.
Justin Solar established the prize in his personal title as a long-term dedication to return wealth created via 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 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.
Contact:
