Manifold MarketsSenza KYCDati di risoluzione verificatiDiscretamente calibratoAvviso sulla qualità dei datiDati della fonte degradati
Dati al 25 ott 2026, 20:50 UTC · criterio pm-quality-4
Previsione della comunità attualeNo 95.4%
Previsori
31
Tipo di domanda
binary
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Dati di mercato
Aggiornato 28 minuti fa
21 giu 23, 17:36 UTC1 gen 50, 10:59 UTC
Trend
Mercati Correlati
Domande correlate per il contesto, non un confronto tra contratti equivalenti.
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?
PolymarketRegole
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.