When will we have a fully formalized proof of Fermat's Last Theorem?
Basic
6
Ṁ1382044
1D
1W
1M
ALL
29%
before the end of 2028
34%
2029 to the end of 2033
15%
2034 to the end of 2038
15%
2039 to the end of 2043
8%
not by the end of 2043
Get
1,000
and1.00
Related questions
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
62% 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?
89% chance
Will Fermat's last theorem be formalized before AI gets IMO gold?
23% chance
Could Fermat have had a proof of Fermat's Last Theorem?
8% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
59% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
5% chance
Will we have a proof of the Riemann Hypothesis by 2060?
51% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
69% chance
Will Goldbach's conjecture be proved before 2040?
42% chance