Manifold MarketsSans KYCDonnées de résolution vérifiéesAssez bien calibréAlerte qualité des donnéesDonnées source dégradées
Données au 25 oct. 2026, 20:50 UTC · politique pm-quality-4
Prévision communautaire actuelleNon 95.4%
Prévisionnistes
31
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 5 heures
Obsolète21 juin 23, 17:36 UTC1 janv. 50, 10:59 UTC
Tendances
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
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
Fermat's last theorem states that no three positive integers a, b, and c satisfy the equation aⁿ + bⁿ = cⁿ for any integer value of n greater than 2.
- Fermat said that he had a proof of it, but that it was too long to fit in the margin, and it has never been recovered.
- It withstood a huge amount of attention from contemporary mathematicians before eventually being proven by Andrew Wiles https://www.dailymotion.com/video/x223gx8 in a complex proof that routed through fields of mathematics that did not exist in Fermat's time.
- Given that, it's likely that Fermat did not have a real proof.
- But if Fermat really had a proof, if there were really some simpler proof that contemporary mathematicians all somehow missed, this would be jarring and, personally, would assault my metaphysics and make the universe a dimmer place.
- Closes yes if a relatively simple medium-length proof that Fermat could have credibly had is found.