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 |
| 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 |
| Public roles and recusals | People |
| Machine-readable data and schemas | Data |
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.
You can recommend a problem, recommend a recipient, correct a record, or raise a dispute using the four issue forms. Read CONTRIBUTING.md for evidence requirements and handling steps, and follow the Code of Conduct. Do not submit private personal information through public issues.
See the record guide for templates, validation commands, and data generation. Source records live in awards/ and candidates/; data/*.json is generated automatically.
Code: LICENSE. Documentation and data: LICENSE-CONTENT.