Will mathlib have formal proofs of 75 out of 100 theorems from Freek Wiedijk's list by end of 2022?
30
502Ṁ7374resolved Jan 1
Resolved
NO1H
6H
1D
1W
1M
ALL
Similar to this question, https://manifold.markets/BoltonBailey/will-mathlib-have-formal-proofs-of.
Will https://leanprover-community.github.io/100.html indicate 75 theorems have been proved by the end of 2022?
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ537 | |
| 2 | Ṁ126 | |
| 3 | Ṁ64 | |
| 4 | Ṁ63 | |
| 5 | Ṁ48 |
People are also trading
Related questions
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
41% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will rw_search be able to replace >50% of mathlib proofs by 2025-11-26?
19% chance
What tactic will prove the most mathlib lemmas at the end of 2026?
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
67% chance
Which theorems will be formally proven in Lean by the end of 2028?
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
60% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% chance
When will we have a fully formalized proof of Fermat's Last Theorem?