Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
One-OffScienza4aManifold MarketsSenza KYCDati di risoluzione verificatiDiscretamente calibratoPrevisione della comunità attualeSì 81.1%
Previsori
8
Tipo di domanda
binary
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Dati di mercato
Aggiornato 15 minuti fa
2 nov 24, 12:01 UTC1 gen 31, 05: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 MarketsCould Fermat have had a proof of Fermat's Last Theorem?
Manifold MarketsZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?
Manifold Markets(Musk Predicition) Will SpaceX Launch Spacebound Rockets every hour within 5 years?
Manifold MarketsWill the US confirm that aliens exist by which date?
PolymarketWill the U.S. confirm that aliens exist?
KalshiRegole
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1