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?

10

285Ṁ287

2044

20%

before the end of 2028

70%

2029 to the end of 2033

4%

2034 to the end of 2038

4%

2039 to the end of 2043

2%

not by the end of 2043

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 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?

Which theorem prover will have proved the most theorems on Freek's list by end of 2025?

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 Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?

Will we have a proof of the Riemann Hypothesis by 2060?

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 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?

Which theorem prover will have proved the most theorems on Freek's list by end of 2025?

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 Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?

Will we have a proof of the Riemann Hypothesis by 2060?

© Manifold Markets, Inc.•Terms•Privacy