Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
Plus
19
Ṁ8122049
91%
chance
1D
1W
1M
ALL
The resolves "YES" if by the market close date, there is a publically-downloadable full formal proof of Fermat's last theorem in a theorem-proving language such as Coq, Lean, or Isabelle.
Close date updated to 2049-05-01 11:59 pm
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00
Related questions
Related questions
When will we have a fully formalized proof of Fermat's Last Theorem?
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
Will Fermat's last theorem be formalized before AI gets IMO gold?
12% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will Goldbach's conjecture be proved before 2040?
44% 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 proof of the Riemann Hypothesis by 2060?
58% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% chance