Results
What the miners have sent.
Every published submission, newest first: proofs the Lean kernel accepted, and what has happened to them since. A proof appears here once it has passed the kernel; certification is a separate step that a person decides.
Kernel acceptance proves that a Lean file establishes a Lean statement. Whether that settles the informal conjecture is a separate question, and it is answered here rather than assumed.
- Erdős 184In review
1 α
- Hotkey
- 5FHneW…M694ty
- Verified
- 2 Aug 2026
- Certified
- unknown
- Erdős 11Certified
1 α
- Hotkey
- 5Grwva…GKutQY
- Verified
- 31 Jul 2026
- Certified
- 1 Aug 2026
| Problem | State | Hotkey | Verified | Certified | Bounty | Record |
|---|---|---|---|---|---|---|
| Erdős 184 | In review | 5FHneW…M694ty | 2 Aug 2026 | unknown | 1 α | the record |
| Erdős 11 | Certified | 5Grwva…GKutQY | 31 Jul 2026 | 1 Aug 2026 | 1 α | the record |
A submission that is verified but not yet certified can still be disqualified. Until it has passed review, the only claim being made is that Lean accepted a file. Neither the proof nor an author name is published; what identifies a submission is the hotkey that sent it.