Proved, then paid
Proved,
then paid
QUOD PROBATUR, SOLVITUR
QUOD PROBATUR, SOLVITUR
QUOD PROBATUR, SOLVITUR
OUR FOUNDATION
OUR FOUNDATION
Core Principles
Openness and Inclusivity
Openness and Inclusivity
Openness and Inclusivity
The Prize is open to all eligible contributions regardless of nationality, institutional affiliation, or status, making no distinction between human and AI contributors.
The Prize is open to all eligible contributions regardless of nationality, institutional affiliation, or status, making no distinction between human and AI contributors.
The Prize is open to all eligible contributions regardless of nationality, institutional affiliation, or status, making no distinction between human and AI contributors.
Non-Profit Commitment
Non-Profit Commitment
Non-Profit Commitment
The Prize is a non-profit initiative established solely for the public benefit. All funds are allocated exclusively to prize disbursements and related open-access initiatives, with no intent of commercial gain.
The Prize is a non-profit initiative established solely for the public benefit. All funds are allocated exclusively to prize disbursements and related open-access initiatives, with no intent of commercial gain.
The Prize is a non-profit initiative established solely for the public benefit. All funds are allocated exclusively to prize disbursements and related open-access initiatives, with no intent of commercial gain.
Open Access and Transparency
Open Access and Transparency
Open Access and Transparency
The Prize is committed to open access. The problem list, verification criteria, proofs, and verification materials associated with the Prize are accessible to the public, provided that third-party rights are not infringed. Selection rules and outcomes shall remain transparent and subject to public scrutiny.
The Prize is committed to open access. The problem list, verification criteria, proofs, and verification materials associated with the Prize are accessible to the public, provided that third-party rights are not infringed. Selection rules and outcomes shall remain transparent and subject to public scrutiny.
The Prize is committed to open access. The problem list, verification criteria, proofs, and verification materials associated with the Prize are accessible to the public, provided that third-party rights are not infringed. Selection rules and outcomes shall remain transparent and subject to public scrutiny.
ANNOUNCEMENT SEP 16, 2026
ANNOUNCEMENT SEP 16, 2026
Rewarding Breakthroughs in Classic Mathematical Challenges
Rewarding Breakthroughs in Classic Mathematical Challenges
Rewarding Breakthroughs in Classic Mathematical Challenges
STEP BY STEP
How to Participate and Claim
Before you begin: select the submission path that best matches your submission type.
Before you begin: select the submission path that best matches your submission type.
I Have a Complete Lean Proof
Lean formalizers, or those who have completed both the solving and formalization.
I Solved It Without Lean
For mathematical solvers submitting a complete proof and evidence of authorship.
My Work is Already Cataloged
For authors whose recorded work meets the direct-claim requirements.
Submitting work, having a PR merged, or completing the public review period does not automatically result in an award. Mathematical solutions and Lean formalizations are reviewed and timed separately. “Eligible to claim = No” does not prevent you from submitting.
To share feedback, ask a question, or make a suggestion, follow this link, click the “New issue” button, and select “Feedback, suggestion or question.”
Security notice: we will only contact you through the official email addresses listed below. We will never ask for your private keys, seed phrase, or other sensitive wallet information.
thejustinsunprize@hejustinsun.com
01
Prepare Your Complete Proof
02
Submit a Proof Reference PR
03
Complete Review and Verification
04
Submit Your Award Claim
05
Public Review
06
Confirm and Receive Your Award
I Have a Complete Lean Proof
Lean formalizers, or those who have completed both the solving and formalization.
I Solved It Without Lean
For mathematical solvers submitting a complete proof and evidence of authorship.
My Work is Already Cataloged
For authors whose recorded work meets the direct-claim requirements.
Submitting work, having a PR merged, or completing the public review period does not automatically result in an award. Mathematical solutions and Lean formalizations are reviewed and timed separately. “Eligible to claim = No” does not prevent you from submitting.
To share feedback, ask a question, or make a suggestion, follow this link, click the “New issue” button, and select “Feedback, suggestion or question.”
Security notice: we will only contact you through the official email addresses listed below. We will never ask for your private keys, seed phrase, or other sensitive wallet information.
thejustinsunprize@hejustinsun.com
01
Prepare Your Complete Proof
02
Submit a Proof Reference PR
03
Complete Review and Verification
04
Submit Your Award Claim
05
Public Review
06
Confirm and Receive Your Award
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
© 2026 H.E. Justin Sun. All rights reserved.
© 2026 H.E. Justin Sun. All rights reserved.
© 2026 H.E. Justin Sun. All rights reserved.