Which theorem prover will have proved the most theorems on Freek's list by end of 2028?
5
175á¹€2492029
58%
Lean
16%
Isabelle
12%
HOL Light
7%
Coq
3%
Mizar
3%
Metamath
3%
Freek's list is here. If there's a tie, I will resolve with equal probability on all first place outcomes. Since there are sometimes delays, for the final number, I'll take the maximum of Freek's number and the number on any of the prover-specific pages linked by Freek at close time.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
What tactic will prove the most mathlib lemmas at the end of 2026?
Will Goldbach's conjecture be proved before 2030?
30% chance
Which theorems will be officially formally proven in Lean by the end of 2028?
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Will any of Levent Alpöge’s mathematical results with Claude be proven flawed by the end of the year?
24% chance
ZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?
24% chance
Which of OpenAI's claimed math results will be shown to be flawed before 2027?
By when will a competition platform like Codeforces but for mathematics (theorem proving) appear?
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
61% chance
Will AI be better every human at proving Math theorems by the end of 2030?
87% chance