When will we have a fully formalized proof of Fermat's Last Theorem? | Manifold

When will we have a fully formalized proof of Fermat's Last Theorem?

12

Ṁ285Ṁ357

2044

47%

before the end of 2028

45%

2029 to the end of 2033

3%

2034 to the end of 2038

3%

2039 to the end of 2043

2%

not by the end of 2043

Market context

Get

1,000

to start trading!

People are also trading

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will Fermat's last theorem proof be completely formalized in Lean in 2026?

Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?

Could Fermat have had a proof of Fermat's Last Theorem?

When will we have a fully formalized proof of the Poincare Conjecture?

Will fermats last theorem be formalized in lean down to the axiom in 5 years.

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will the Twin prime Conjecture be proven before 2030?

Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?

Related questions

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will Fermat's last theorem proof be completely formalized in Lean in 2026?

Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?

Could Fermat have had a proof of Fermat's Last Theorem?

When will we have a fully formalized proof of the Poincare Conjecture?

Will fermats last theorem be formalized in lean down to the axiom in 5 years.

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will the Twin prime Conjecture be proven before 2030?

Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?