Results
What the miners have sent.
- Problems solved
- 9
- Rewards paid
- 9
- Paid out
- 46950.92 α
- Proofs verified
- 19
- Live bounties
- 289
Show
- Lean
- Verified
- Review
- Not reviewed yet
- Reward
- Not eligible
5BQmG6…ANhDjA · 15 Sept 2026
the record→- Lean
- Verified
- Review
- Not reviewed yet
- Reward
- Not eligible
5BQmG6…ANhDjA · 15 Sept 2026
the record→- Erdős problem 964247.1422 α
- Lean
- Verified
- Review
- Approved
- Reward
- Eligible
JenW1N · 10 Sept 2026
Read the proof→the record→ - Green's open problem 155975.5236 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
JenW1N · 10 Sept 2026
the record→ - Erdős problem 1968264.4018 α
- Lean
- Verified
- Review
- Approved
- Reward
- Eligible
JenW1N · 9 Sept 2026
Read the proof→the record→ - Erdős problem 272 - szabo strong12334.9281 α
- Lean
- Verified
- Review
- Approved
- Reward
- Eligible
JenW1N · 9 Sept 2026
Read the proof→the record→ - Green's open problem 47741.5197 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N · 9 Sept 2026
Read the proof→the record→ - Green's open problem 51 - one half33895.2522 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N · 9 Sept 2026
Read the proof→the record→ - Green's open problem 441134.8129 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5FqLp5…FfZZiK · 8 Sept 2026
the record→ - Erdős problem 7261257.2236 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5FqLp5…FfZZiK · 13 Aug 2026
Read the proof→the record→
| Problem | Proof | Lean | Review | Reward | Solver | Checked | Bounty | Record |
|---|---|---|---|---|---|---|---|---|
| Erdős problem 233 | –Proof not published | Verified | Not reviewed yetPending | Not eligible | 5BQmG6…ANhDjA | 15 Sept 2026 | 95 α | the record→ |
| Erdős problem 233 | –Proof not published | Verified | Not reviewed yetPending | Not eligible | 5BQmG6…ANhDjA | 15 Sept 2026 | 95 α | the record→ |
| Erdős problem 96 | Verified | Approved | Eligible | JenW1N | 10 Sept 2026 | 4247.1422 α | the record→ | |
| Green's open problem 15 | –Proof not published | Verified | Rejected | Not eligible | JenW1N | 10 Sept 2026 | 5975.5236 α | the record→ |
| Erdős problem 196 | Verified | ApprovedPending | Eligible | JenW1N | 9 Sept 2026 | 8264.4018 α | the record→ | |
| Erdős problem 272 - szabo strong | Verified | ApprovedPending | Eligible | JenW1N | 9 Sept 2026 | 12334.9281 α | the record→ | |
| Green's open problem 47 | Verified | Approved | Paid | JenW1N | 9 Sept 2026 | 741.5197 α | the record→ | |
| Green's open problem 51 - one half | Verified | Approved | Paid | JenW1N | 9 Sept 2026 | 33895.2522 α | the record→ | |
| Green's open problem 44 | –Proof not published | Verified | Rejected | Not eligible | 5FqLp5…FfZZiK | 8 Sept 2026 | 1134.8129 α | the record→ |
| Erdős problem 726 | Verified | Partial award | Paid | 5FqLp5…FfZZiK | 13 Aug 2026 | 1257.2236 α | the record→ |