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?

Basic

6

Ṁ138

2044

29%

before the end of 2028

34%

2029 to the end of 2033

15%

2034 to the end of 2038

15%

2039 to the end of 2043

8%

not by the end of 2043

This question is managed and resolved by Manifold.

Get

1,000

and

3.00

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?

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

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

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

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

Will Fermat's last theorem be formalized before AI gets IMO gold?

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

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

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

Related questions

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

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

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

Will Fermat's last theorem be formalized before AI gets IMO gold?

Could Fermat have had a 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?

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

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

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

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules