Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
One-OffScience2moisManifold MarketsSans KYCDonnées de résolution vérifiéesAssez bien calibréAlerte qualité des donnéesDonnées source dégradées
Données au 26 oct. 2026, 04:02 UTC · politique pm-quality-4
Prévision communautaire actuelleNon 98%
Prévisionnistes
47
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 2 heures
Obsolète12 août 23, 05:27 UTC2 janv. 27, 05:59 UTC
Tendances
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
Could Fermat have had a proof of Fermat's Last Theorem?
Manifold MarketsWill Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
Manifold MarketsWill the US confirm that aliens exist by which date?
PolymarketWill the U.S. confirm that aliens exist?
KalshiWill ANOTHER millennium prize problem be solved in 2026?
Manifold MarketsMarathon Fusion's high-rate gold alchemy confirmed by which date?
PolymarketRègles
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.