Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
One-OffScience4yManifold MarketsNo KYCVerified resolution dataFairly calibratedData quality warningSource data degraded
Data as of Oct 26, 2026, 5:41 AM UTC · policy pm-quality-4
Current community forecastYes 81.1%
Forecasters
8
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 8 hours ago
StaleNov 2, 24, 12:01 PM UTCJan 1, 31, 5:59 AM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
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?
KalshiRules
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1