Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
➕
Plus
43
Ṁ2846
2027
6%
chance

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
and
S3.00
© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules