Will Lean have proved the most theorems on Freek's list by beginning of 2024?
21
300Ṁ1591resolved Jan 1
Resolved
NO1H
6H
1D
1W
1M
ALL
This resolves YES if, on December 31st 2023, Lean (or Lean 4) is at the top of the list of theorem provers maintained on Freek's website. This site will be used as the resolution source, but if the site can't be accessed for some reason at that time, I'll use the most recent version on the internet archive.
Sep 27, 2:14pm: If Lean is tied for 1st, I will resolve to 50%.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ150 | |
| 2 | Ṁ60 | |
| 3 | Ṁ36 | |
| 4 | Ṁ16 | |
| 5 | Ṁ13 |
Sort by:
People are also trading
Related questions
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Which theorems will be formally proven in Lean by the end of 2028?
What tactic will prove the most mathlib lemmas at the end of 2026?
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
49% chance
Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
56% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
41% chance
Will the best public LLM at the end of 2025 solve more than 5 of the first 10 Project Euler problems published in 2026?
78% chance
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
79% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
65% chance