When will we have a fully formalized proof of Fermat's Last Theorem?
4
38
Ṁ120Ṁ285
2044
1D
1W
1M
ALL
24%
before the end of 2028
32%
2029 to the end of 2033
17%
2034 to the end of 2038
17%
2039 to the end of 2043
10%
not by the end of 2043
Get Ṁ200 play money
Related questions
Could Fermat have had a proof of Fermat's Last Theorem?
17% chance
Will a Millenium problem be formally stated in a theorem prover by 2025
59% chance
Looking to better understand the proof of Fermat's Last Theorem by Andrew Wiles. Recommend me a good resource
Ṁ250 bounty
Will the Dorabella Cipher be broken with a published proof by EOY 2034?
48% chance
Will we get very strong evidence that the universe is Turing computable by 2030?
18% chance
By the beginning of 2035, will physicists and philosophers mostly agree on the correct interpretation of quantum mechanics?
13% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
5% chance
Will the Goldbach conjecture be found unprovable before 2030?
5% chance
Are there infinitely many Fermat primes?
4% chance
Will the Myhill–Nerode theorem be formalized in Lean mathlib by the end of 2024?
89% chance