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

Ṁ3316

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

Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?

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 Goldbach's conjecture be proved before 2040?

Related questions

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

Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?

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

Will Goldbach's conjecture be proved before 2040?

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