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 28 of 34
- Erdős problem 859$3,5183739.9124 α
- Lean
- Verified
- Review
- Not reviewed yet
- Reward
- Not eligible
JenW1N18 Sept 2026
the record - Erdős problem 252$2,9963185.236 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5G4LNp…wAAW7L16 Sept 2026
the record - Erdős problem 18 - b$2,9773164.2093 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N16 Sept 2026
the record - Erdős problem 108$3,5923818.1838 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N15 Sept 2026
the record - Green's open problem 40 - f two eq one$4,0854342.5528 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N15 Sept 2026
the record - Erdős problem 653$4,1264386.2256 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
gus15 Sept 2026
the record - Erdős problem 14 - part i$4,1824445.8667 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N14 Sept 2026
the record - Erdős problem 14 - part ii$5,3995739.6709 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N14 Sept 2026
the record - Erdős problem 416 - part i$5,9926369.8514 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N14 Sept 2026
the record - Erdős problem 944$1,0641130.7783 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N11 Sept 2026
the record - Erdős problem 354 - part i$1,4131502.2255 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N11 Sept 2026
the record - Erdős problem 96$3,9954247.1422 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N10 Sept 2026
the record - Green's open problem 15$5,6215975.5236 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N10 Sept 2026
the record - Erdős problem 196$7,7748264.4018 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N9 Sept 2026
the record - Erdős problem 272 - szabo strong$11,60312334.9281 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N9 Sept 2026
the record - Green's open problem 47$698741.5197 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N9 Sept 2026
the record - Green's open problem 51 - one half$31,88533895.2522 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
JenW1N9 Sept 2026
the record - Green's open problem 44$1,0681134.8129 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5FqLp5…FfZZiK8 Sept 2026
the record - Erdős problem 726$1,1831257.2236 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5FqLp5…FfZZiK13 Aug 2026
the record - Green's open problem 3$2,0232150.7504 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5EoHgN…1KvowZ6 Aug 2026
the record - Erdős problem 567 - part i$9991062.2238 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5H3ZSq…NHznXs6 Aug 2026
the record - Green's open problem 3$1,9542076.9499 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5H3ZSq…NHznXs6 Aug 2026
the record - Green's open problem 29$2,5122670.8661 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
5GeGrY…uLUScV6 Aug 2026
the record - Erdős problem 10 - grechuk$4,0274280.4238 α
- Lean
- Verified
- Review
- Rejected
- Reward
- Not eligible
5EyGbW…7GEFVR6 Aug 2026
the record - Erdős problem 939$1,0111074.7482 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5H3ZSq…NHznXs6 Aug 2026
the record - Erdős problem 10 - grechuk$3,8854130.0528 α
- Lean
- Verified
- Review
- Approved
- Reward
- Paid
5GeGrY…uLUScV6 Aug 2026
the record - Green's open problem 42$1,0111074.7482 α
- Lean
- Verified
- Review
- Partial award
- Reward
- Paid
5GbYxU…yUxBzW6 Aug 2026
the record - Erdős problem 15$9821044.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.