Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
One-OffBilim4yManifold MarketsKYC yokDoğrulanmış sonuçlanma verisiOrta düzey kalibreGüncel topluluk tahminiEvet 81.1%
Tahminciler
8
Soru türü
binary
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
Piyasa verileri
1 saat önce güncellendi
Gecikmeli2 Kas 24 12:01 UTC1 Oca 31 05:59 UTC
Trendler
İlgili Piyasalar
Bağlam için ilgili sorular; eşdeğer sözleşmelerin karşılaştırması değildir.
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?
KalshiKurallar
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1