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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00
Related questions
Related questions
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74% chance
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?
2% chance
Could Fermat have had a proof of Fermat's Last Theorem?
5% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
74% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will Goldbach's conjecture be proved before 2040?
44% chance
Will we have a proof of the Riemann Hypothesis by 2060?
57% chance
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
60% chance