Geneva, Switzerland — The Office of Justin Sun formally announced the launch of the Justin Sun Prize on September 16, 2026. Designed as a zero-trust, decentralized academic bounty mechanism, the initiative centers on a curated "problem list" that rewards monumental breakthroughs in fundamental scientific disciplines and machine formal verification. With a top award of up to $1 million for a single resolved problem, the initiative aims to redefine scientific incentives for the artificial intelligence era, fostering accelerated research through human-AI collaboration.
Alongside the launch, the organization revealed the inaugural class of Justin Sun Prize winners, recognizing verified solutions and formalized proofs across 66 distinct mathematical problems. The premier $1 million prize was awarded to the OpenAI research team for successfully solving and providing a formalized proof of the Navier-Stokes Existence and Smoothness problem—one of the legendary Millennium Prize Problems originally designated by the Clay Mathematics Institute in the year 2000.
A New Paradigm for Mathematical Recognition
The Justin Sun Prize diverges sharply from traditional academic awards, which often rely on subjective nominations, institutional prestige, credential thresholds, or four-year evaluation cycles. Instead, the framework ties financial rewards directly to mathematically rigorous, machine-verifiable proofs. Under this model, any individual, team, or autonomous system can secure the prize by being the first to submit a qualifying, verifiable breakthrough.
The inaugural winning submission concerning the Navier-Stokes equations—which mathematically describe the motion of fluid substances and date back nearly two centuries to the work of Claude-Louis Navier and George Gabriel Stokes—was generated via OpenAI’s internal research models. The subsequent Lean formalization and verification of the proof were executed by GPT-6 Astra, highlighting a historic milestone where machine-driven reasoning successfully addressed a century-old mathematical enigma.
Organizers emphasize that the prize’s repository will remain permanently accessible and continuously updated. Once a mathematical problem is added to the official list, it becomes locked; problems cannot be removed under any circumstances, and awarded prize funds are irrevocable. The growing repository already encompasses foundational challenges such as the Poincaré Conjecture, the Riemann Hypothesis, Goldbach’s Conjecture, and numerous unsolved problems originally posed by the late mathematician and Wolf Prize laureate Paul Erdős.
Chronology of the Initiative and Core Principles
The conception of the Justin Sun Prize builds upon broader philanthropic efforts led by technology entrepreneur and diplomat Justin Sun. Over the past decade, Sun has directed substantial resources toward technological development, environmental initiatives, and global disaster relief, with cumulative donations surpassing $45 million. The establishment of this decentralized prize transitions these philanthropic commitments toward the structured advancement of fundamental science.
The initiative operates under three unwavering principles: openness, public benefit, and open-source transparency.
- Openness: Participation is universally open, enforcing zero restrictions based on nationality, institutional affiliation, or legal identity. The framework makes no artificial distinction between human researchers and artificial intelligence agents.
- Public Benefit: Allocated funds are dedicated strictly to prize payouts and open-source initiatives, operating entirely on a non-profit basis.
- Open-Source Transparency: All problem parameters, validation standards, proofs, and verification codebases are publicly hosted via GitHub. Furthermore, prize disbursements are executed on-chain to ensure permanent traceability and immutability.
Winners of the prize receive an official certificate, alongside a physical medal bearing the Latin inscription "Quod probatur, solvitur," which translates to "Proved, then paid." Financial awards are distributed based on the recipient’s preference, utilizing either USDT on the TRON network (TRC-20) or USDC on the Ethereum network (ERC-20).
Context and Historical Background
The Navier-Stokes equations have served as a cornerstone of fluid dynamics since the 19th century, influencing everything from aerospace engineering to weather forecasting. Despite their widespread practical application in physics and engineering, proving mathematically whether smooth, physically reasonable solutions always exist in three-dimensional space has remained one of the most stubborn problems in modern analysis.
When the Clay Mathematics Institute declared the problem one of the seven Millennium Prize Problems in 2000, it offered a $1 million bounty to spur academic progress. While decades of traditional academic research yielded partial understandings and numerical approximations, a complete analytical proof remained elusive until the convergence of advanced neural reasoning and formal proof assistants like Lean.
The Justin Sun Prize effectively expands upon this historical model by modernizing the bounty structure for the digital age, utilizing decentralized infrastructure to bypass bureaucratic delays and traditional peer-review bottlenecks.
Statements and Official Reactions
Addressing the philosophy behind the award, founder Justin Sun remarked on the deeply personal motivation driving the initiative.
"An award named after a person is the least political thing in the world," Sun stated. "More importantly, it gives me an answer to myself—my wealth is rooted in mathematics. It came from mathematics, and it will return to mathematics."
Industry observers and academic commentators have noted that the integration of machine-verified proofs marks a pivotal turning point for mathematics. By requiring formal verification systems—such as Lean—to validate proofs automatically, the Justin Sun Prize mitigates the risk of human error in complex mathematical literature, establishing a new standard of absolute rigor.
Broader Implications and Future Outlook
The launch of the Justin Sun Prize arrives at a transformative juncture for both artificial intelligence and foundational science. As AI models transition from generative tools to autonomous reasoning agents capable of performing advanced symbolic logic, verifying their outputs has emerged as a primary bottleneck for scientific adoption.
By tying financial incentives directly to machine-verifiable code, the prize framework incentivizes the development of more robust verification engines alongside mathematical problem-solving. Analysts suggest this approach could dramatically shorten the validation timeline for complex theorems, which traditionally required years of manual vetting by specialized academic committees.
Furthermore, the decentralized, on-chain disbursement model provides a blueprint for transparent philanthropic and scientific funding. By leveraging blockchain networks for transaction tracking, the initiative ensures complete accountability, setting a potential precedent for future international scientific endowments.
About the Office of Justin Sun and the Prize
The Office of Justin Sun oversees the global business, investment, and philanthropic ventures of Justin Sun across blockchain technology, artificial intelligence, scientific research, art, and space exploration. Justin Sun is the founder of TRON—one of the largest blockchain networks globally for stablecoin processing, having handled over $13 trillion in transaction volume—and has served as the Permanent Representative of Grenada to the World Trade Organization.
The Justin Sun Prize continues this legacy by institutionalizing a permanent mechanism to support mathematical research. Complete documentation regarding the active problem list, submission criteria, and verification standards can be accessed via the official portal at www.hejustinsun.com/prize. Inquiries may be directed to the organizing committee via email at [email protected].
