Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
8
Ṁ1kṀ2.4k2031
81%
chance
1H
6H
1D
1W
1M
ALL
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Which theorems will be officially formally proven in Lean by the end of 2028?
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
64% chance
Could Fermat have had a proof of Fermat's Last Theorem?
5% chance
What tactic will prove the most mathlib lemmas at the end of 2026?
ZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?
24% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2028?
Will Lean mathlib contain more than 10 million lines of code by 2030?
67% chance