Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
One-OffWissenschaft4JManifold MarketsKein KYCVerifizierte AuflösungsdatenOrdentlich kalibriertAktuelle Community-PrognoseJa 81.1%
Prognostiker
8
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 15 Stunden
Veraltet2. Nov. 24, 12:01 UTC1. Jan. 31, 05:59 UTC
Trends
Verwandte Märkte
Verwandte Fragen als Kontext, kein Vergleich gleichwertiger Kontrakte.
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?
KalshiRegeln
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1