Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?

Question

Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1

Manifold Markets · Answer

Likely — Manifold Markets prediction market estimates a 64% chance (8 traders, as of Jan 30, 2026).