Results
What the miners have sent.
Verified submissions, newest first: proofs the Lean kernel accepted, and what has happened to them since. Lean rejections remain available through the filter; 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.
Show
Showing 11 of 16
- Green's open problem 44$7941134.8129 α
- Lean
- Verified
- Review
- Not reviewed yet
- Reward
- Not eligible
5FqLp5…FfZZiK8 Sept 2026
the record - Erdős problem 726$8801257.2236 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5FqLp5…FfZZiK13 Aug 2026
the record - Green's open problem 3$1,5052150.7504 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5EoHgN…1KvowZ6 Aug 2026
the record - Erdős problem 567 - part i$7431062.2238 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5H3ZSq…NHznXs6 Aug 2026
the record - Green's open problem 3$1,4542076.9499 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5H3ZSq…NHznXs6 Aug 2026
the record - Green's open problem 29$1,8692670.8661 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
5GeGrY…uLUScV6 Aug 2026
the record - Erdős problem 10 - grechuk$2,9964280.4238 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5EyGbW…7GEFVR6 Aug 2026
the record - Erdős problem 939$7521074.7482 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5H3ZSq…NHznXs6 Aug 2026
the record - Erdős problem 10 - grechuk$2,8904130.0528 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
5GeGrY…uLUScV6 Aug 2026
the record - Green's open problem 42$7521074.7482 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5GbYxU…yUxBzW6 Aug 2026
the record - Erdős problem 15$7311044.2868 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5FqLp5…FfZZiK5 Aug 2026
the record
Verified is the default because a Lean rejection is an attempt, not a result. A verified submission can still be disqualified in review; until it passes, the only claim being made is that Lean accepted a file.