Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
20
1ká¹€13122049
94%
chance
1H
6H
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.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000
Pessoas também estão operando
Perguntas relacionadas
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
69% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will Fermat's last theorem proof be completely formalized in Lean in 2026?
10% chance
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