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?

Plus

45

Ṁ3496

2027

5%

chance

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.

This question is managed and resolved by Manifold.

Get

1,000

and

3.00

Sort by:

bought Ṁ50 NO

This does not suggest it will ever get simple. No normal human can understand "crystalline cohomology" 😂

https://xenaproject.wordpress.com/2024/12/11/fermats-last-theorem-how-its-going/

Related questions

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

Will a plausible proof obfuscator be found by end of 2024?

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

Will a plausible post-quantum proof obfuscator be found by end of 2024?

Will Goldbach's conjecture be proved before 2040?

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

+7% 1d56% chance

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

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

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

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 any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

Will a plausible proof obfuscator be found by end of 2024?

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

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

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

Will a plausible post-quantum proof obfuscator be found by end of 2024?

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

Will Goldbach's conjecture be proved before 2040?

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

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