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

Very likely — Manifold Markets prediction market estimates a 81% chance (8 traders, as of Sep 11, 2026).