Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
41
Ṁ27662027
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.
Get Ṁ1,000 play money
Related questions
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
62% chance
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
9% 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?
89% chance
Will a plausible proof obfuscator be found by end of 2024?
53% chance
Could Fermat have had a proof of Fermat's Last Theorem?
8% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
33% chance
Will Goldbach's conjecture be proved before 2040?
42% chance
Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
28% chance
Will we have a proof of the Riemann Hypothesis by 2060?
49% chance