When will we have a fully formalized proof of Fermat's Last Theorem?
Basic
7
Ṁ1532044
36%
before the end of 2028
31%
2029 to the end of 2033
13%
2034 to the end of 2038
13%
2039 to the end of 2043
8%
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
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will Tatenda Kubalalika's disproof of the Riemann Hypothesis be accepted by the mathematical community in 2024?
2% chance
When will we have a fully formalized proof of the Poincare Conjecture?
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.
46% chance
Will Fermat's last theorem be formalized before AI gets IMO gold?
22% chance
Could Fermat have had a proof of Fermat's Last Theorem?
9% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
6% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
61% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
5% chance