Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
One-OffCiencia4aManifold MarketsSin KYCDatos de resolución verificadosCalibración aceptablePronóstico comunitario actualSí 81.1%
Pronosticadores
8
Tipo de pregunta
binary
Metodología
Play-money forecasting platform
Tipo de fuente
Pronóstico
Datos de mercado
Actualizado hace 52 minutos
Retrasado2 nov 24, 12:01 UTC1 ene 31, 5:59 UTC
Tendencias
Mercados Relacionados
Preguntas relacionadas para dar contexto, no una comparación de contratos equivalentes.
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?
KalshiReglas
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1