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

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

20

1kṀ1312

2049

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.

Market context

Technical AI Timelines

Get

1,000

to start trading!

Sort by:

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?, 8k, beautiful, illustration, trending on art station, picture of the day, epic composition

People are also trading

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2040?

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

When will we have a fully formalized 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?

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?

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

Will Goldbach's conjecture be proved before 2040?

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

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

Related questions

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2040?

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

When will we have a fully formalized 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?

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?

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

Will Goldbach's conjecture be proved before 2040?

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

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

© Manifold Markets, Inc.•Terms•Privacy