Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
18
44
Ṁ526Ṁ350
2049
89%
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
Get Ṁ200 play money
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will the Collatz Conjecture be proved true by December 2024?
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
52% 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?
23% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
64% chance
Will we have a proof of the Riemann Hypothesis by 2060?
46% chance
Will Goldbach's conjecture be proved before 2040?
33% chance
Will the tenth Dedekind number be known by 2040?
59% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will Goldbach's conjecture be proved before 2050?
61% chance