When will we have a fully formalized proof of Fermat's Last Theorem?
Basic
8
Ṁ1792044
35%
before the end of 2028
37%
2029 to the end of 2033
11%
2034 to the end of 2038
11%
2039 to the end of 2043
6%
not by the end of 2043
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Frontier science theorem discovery fully formalized in proof assistant before 2028?
21% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
5% 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?
Will Fermat's last theorem be formalized before AI gets IMO gold?
12% chance
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
49% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% chance
Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
56% chance