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 10 of 14
- Erdős problem 726$581935.1993 α
- Lean
- Verified
- Review
- Not reviewed yet
- Reward
- Not eligible
5FqLp5…FfZZiK13 Aug 2026
the record - Green's open problem 3$1,3372150.7504 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5EoHgN…1KvowZ6 Aug 2026
the record - Erdős problem 567 - part i$6601062.2238 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5H3ZSq…NHznXs6 Aug 2026
the record - Green's open problem 3$1,2912076.9499 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5H3ZSq…NHznXs6 Aug 2026
the record - Green's open problem 29$1,6612670.8661 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
5GeGrY…uLUScV6 Aug 2026
the record - Erdős problem 10 - grechuk$2,6614280.4238 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5EyGbW…7GEFVR6 Aug 2026
the record - Erdős problem 939$6681074.7482 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5H3ZSq…NHznXs6 Aug 2026
the record - Erdős problem 10 - grechuk$2,5684130.0528 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
5GeGrY…uLUScV6 Aug 2026
the record - Green's open problem 42$6681074.7482 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5GbYxU…yUxBzW6 Aug 2026
the record - Erdős problem 15$2,3633800.7212 α
- 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.