A public repository for The Justin Sun Prize: recognizing mathematical breakthroughs and machine-verifiable formal proofs through a problem-list-based academic bounty mechanism.
| Topic | Source |
|---|---|
| Purpose, scope, and governance | About |
| Submission, challenges, claims and 14-day public review | Award process |
| Award assessment | Grading |
| Recipients and attribution | Attribution |
| Formal verification and review | Verification |
| Problem bank: 1,022 problems | Problems |
| Confirmed, publicly announced awards | Awards |
| Public candidates | Candidates |
Award entries are confirmed and publicly announced decisions; candidates are tracked separately. The repository publishes public records; detailed assessment criteria and deliberations are not included.
We recommend checking existing PRs for the same problem and contribution type before submitting to help avoid duplicate work.
Submit complete solution and proof references through the PR template. Read the contribution guidelines for evidence requirements and the award process for claims, identity checks, public review and award delivery. Current candidates appear in the public notice table.
Use the issue forms to recommend a problem, claim your own contribution, correct a record or raise a dispute. Follow the Code of Conduct and keep private identity, contact and payment details out of public issues.
Maintain candidates and announced awards in Markdown through reviewed PRs. See the record guide for evidence and optional templates.
Code: LICENSE. Documentation and data: LICENSE-CONTENT.