About the Justin Sun Prize

About the Justin Sun Prize

The Justin Sun Prize, established in 2026 by Chinese entrepreneur and TRON founder Mr. Justin Sun, is the world's first zero-trust, decentralized academic bounty mechanism built around a curated "Problem List". Awarded for breakthroughs in foundational research and machine-assisted formal verification, the Prize recognizes anyone—professional researchers, independent enthusiasts, or human-AI collaborative teams—who convert human-readable mathematical proofs into machine-verifiable ones. 

Mr. Sun views relentless exploration and innovation as the driving forces of human civilization for millennia. In today's AI-powered world, advancing the boundaries of knowledge requires more than individual effort—it demands translating mathematical insight into formally verified results that machines can check without ambiguity. The Justin Sun Prize was created to ensure that these rigorous milestones are promptly recognized, valued, and carried forward.

"All things are mathematics." Positioned as the "Nobel Prize of the AI Era", the Justin Sun Prize responds to a historic absence: there is no Nobel Prize in Mathematics. Unlike traditional academic honors, it operates through a model that is decentralized, formalized, and machine-driven. Once a submission successfully passes machine verification, the contributor automatically qualifies for award adjudication.

The Justin Sun Prize, established in 2026 by Chinese entrepreneur and TRON founder Mr. Justin Sun, is the world's first zero-trust, decentralized academic bounty mechanism built around a curated "Problem List". Awarded for breakthroughs in foundational research and machine-assisted formal verification, the Prize recognizes anyone—professional researchers, independent enthusiasts, or human-AI collaborative teams—who convert human-readable mathematical proofs into machine-verifiable ones. 

Mr. Sun views relentless exploration and innovation as the driving forces of human civilization for millennia. In today's AI-powered world, advancing the boundaries of knowledge requires more than individual effort—it demands translating mathematical insight into formally verified results that machines can check without ambiguity. The Justin Sun Prize was created to ensure that these rigorous milestones are promptly recognized, valued, and carried forward.

"All things are mathematics." Positioned as the "Nobel Prize of the AI Era", the Justin Sun Prize responds to a historic absence: there is no Nobel Prize in Mathematics. Unlike traditional academic honors, it operates through a model that is decentralized, formalized, and machine-driven. Once a submission successfully passes machine verification, the contributor automatically qualifies for award adjudication.

Quick Facts

Quick Facts

  • The world's first zero-trust, decentralized academic bounty mechanism based on a "problem list".

  • Open globally to researchers, independent contributors, human-AI teams, and AI systems.

  • Open source and machine verified. Every eligible submission must pass formal verification before academic review, with prize tiers reaching up to $1 million.

Prize Tiers

Prize Tiers

* Except for Pinnacle tier, prize amounts are determined after formal verification and Academic Committee review.

Pinnacle

Pinnacle

USD 1,000,000

Reserved exclusively for foundational, central bottlenecks designated within the official Problem List. Disbursement is pegged at $1,000,000 USD per verified closure.

Breakthrough

Breakthrough

Prize TBD

Pertains to long-standing, research-grade open problems. The specific capital allocation shall be determined by the Academic Committee.

Landmark

Landmark

Prize TBD

Awarded for research-grade problems with partial closures. Capital allocation is determined upon Committee review.

Advance

Advance

Prize TBD

Applies to exploratory formulations. Capital allocation is determined upon Committee review.

Contribution

Contribution

Prize TBD

Granted for open community contributions. Capital allocation is determined upon Committee review.

rules and guides

More Information

Learn more about the selection process, evaluation criteria, submission process, and how to participate.

Learn more about the selection process, evaluation criteria, submission process, and how to participate.

01

Assessment Principles

02

Awardee Eligibility and Prize Allocation

03

Submission and Verification

04

Objections, Review, and Revocation

05

Disclaimer and Limitation of Liability

Assessment Principles

The Prize evaluates each submission across three core dimensions to determine its tier and allocation: problem longevity, publication venue, and academic recognition.

Eligibility Prerequisites

A verified Lean PR submitted through GitHub repository is required for eligibility. If a submitted Lean formalization has already been publicly released and is broadly recognized by community consensus as peer-verified, re-verification is waived. In such cases, the submission shall take the form of a registration application rather than a PR.

Completion Adjustment

The final award is adjusted based on completion: fully closed, substantially closed, partial progress, or no progress.

Academic Committee

Tier evaluations are jointly signed by the Academic Committee, with conflicted members recused and independent members handling reviews.

01

02

03

04

05

Assessment Principles

The Prize evaluates each submission across three core dimensions to determine its tier and allocation: problem longevity, publication venue, and academic recognition.

Eligibility Prerequisites

A verified Lean PR submitted through GitHub repository is required for eligibility. If a submitted Lean formalization has already been publicly released and is broadly recognized by community consensus as peer-verified, re-verification is waived. In such cases, the submission shall take the form of a registration application rather than a PR.

Completion Adjustment

The final award is adjusted based on completion: fully closed, substantially closed, partial progress, or no progress.

Academic Committee

Tier evaluations are jointly signed by the Academic Committee, with conflicted members recused and independent members handling reviews.

01

Assessment Principles

02

Awardee Eligibility and Prize Allocation

03

Submission and Verification

04

Objections, Review, and Revocation

05

Disclaimer and Limitation of Liability

Assessment Principles

The Prize evaluates achievements across three dimensions: duration, journal/conference level, and public review. Results are signed by the Academic Committee and approved by the Organizing Committee.

Eligibility Prerequisites

A verified Lean PR submitted through GitHub repository is required for eligibility. If a submitted Lean formalization has already been publicly released and is broadly recognized by community consensus as peer-verified, re-verification is waived. In such cases, the submission shall take the form of a registration application rather than a PR.

Completion Adjustment

The final award is adjusted based on completion: fully closed, substantially closed, partial progress, or no progress.

Academic Committee

Tier evaluations are jointly signed by the Academic Committee, with conflicted members recused and independent members handling reviews.

To share feedback, ask a question, or make a suggestion, follow this link, click the “New issue” button, and select “Feedback, suggestion or question.”

To share feedback, ask a question, or make a suggestion, follow this link, click the “New issue” button, and select “Feedback, suggestion or question.”

Founding and Organization

Founding and Organization

Funding
The Justin Sun Prize is funded personally by Mr. Justin Sun and administered by the Prize Operator. 

Funder Independence
Mr. Sun acts solely as donor and presenter; he takes no part in the evaluation process. 

Academic Committee
The Prize establishes an Academic Committee comprising leading AI models and domain experts. AI committee members provide preliminary evaluations and recommendations, while the Organizing Committee makes final award decisions. 

Open-Source Operation
The Prize operates on an open-source model. All official information is published via GitHub under the organization TheJustinSunPrize.

Retroactive Eligibility
Bounty eligibility extends retroactively to qualifying achievements completed on or after January 1, 2026.

Prize Disbursement
Prize money will be disbursed in cryptocurrency. Awardees must pass mandatory compliance and identity verification (KYC) specified by the Prize Operator. If an awardee's account presents compliance risks or breaches relevant laws and regulations, the Prize Operator reserves the right to request an alternative payout method or suspend disbursement. 

Participate Now

Explore open problems and submit through GitHub, or
contact us at: thejustinsunprize@hejustinsun.com

Participate Now

Explore open problems and submit through GitHub,
or contact us at: thejustinsunprize@hejustinsun.com

Participate Now

Explore open problems and submit through GitHub, or
contact us at: thejustinsunprize@hejustinsun.com

The Justin Sun Prize Claim Submission

thejustinsunprize@hejustinsun.com

Press & Media

media@hejustinsun.com

Business & General Inquiry

info@hejustinsun.com

Social & Community

social@hejustinsun.com

© 2026 H.E. Justin Sun. All rights reserved.

The Justin Sun Prize Claim Submission

thejustinsunprize@hejustinsun.com

Press & Media

media@hejustinsun.com

Business & General Inquiry

info@hejustinsun.com

Social & Community

social@hejustinsun.com

© 2026 H.E. Justin Sun. All rights reserved.

The Justin Sun Prize Claim Submission

thejustinsunprize@hejustinsun.com

Press & Media

media@hejustinsun.com

Business & General Inquiry

info@hejustinsun.com

Social & Community

social@hejustinsun.com

© 2026 H.E. Justin Sun. All rights reserved.