When will we have a fully formalized proof of Fermat's Last Theorem?
10
285Ṁ2872044
20%
before the end of 2028
70%
2029 to the end of 2033
4%
2034 to the end of 2038
4%
2039 to the end of 2043
2%
not by the end of 2043
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
60% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Could Fermat have had a proof of Fermat's Last Theorem?
5% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
74% chance
Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
61% chance
Will we have a proof of the Riemann Hypothesis by 2060?
57% chance