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

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

46

1kṀ5096

2027

2%

chance

1H

6H

1D

1W

1M

ALL

Resolves NO on January 1, 2027 if no such proof has yet been found. Resolves YES if such a proof is found before then.

This would obviously likely be by an AI, but proofs from human mathematicians also count.

I wanted a version of this question that resolves closer to within my apocalypse timeline, so I'll actually be forced to pay up [by my reckoning] if I'm wrong and Fermat goofed or was messing with us. I'll also be forced to pay up if people just don't turn a lot of compute toward answering this question, but I think this setup gives overall better incentives to short-timeline people.

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?

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

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

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

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

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

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

Will the Goldbach conjecture be found unprovable before 2030?

Will a polynomial time factoring algorithm be found by 2035?

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?

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

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

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

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

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

Will the Goldbach conjecture be found unprovable before 2030?

Will a polynomial time factoring algorithm be found by 2035?

© Manifold Markets, Inc.•Terms•Privacy