Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
40
192
Ṁ2.4kṀ770
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.
Get Ṁ600 play money
More related questions
Related questions
Will an AI solve any important mathematical conjecture before January 1st, 2030?
63% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will the Collatz Conjecture be proved true by December 2024?
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
60% chance
Will a plausible proof obfuscator be found by end of 2024?
76% chance
Will we have a proof of the Riemann Hypothesis by 2060?
46% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
65% chance
Will Goldbach's conjecture be proved before 2040?
33% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
23% chance
When will we have a fully formalized proof of Fermat's Last Theorem?