Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
6
Ṁ1kṀ2802031
62%
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.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
60% chance
Will Fermat's last theorem proof be completely formalized in Lean in 2026?
14% chance
Will Lean mathlib contain more than 10 million lines of code by 2030?
67% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
69% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
94% chance
Which theorems will be officially formally proven in Lean by the end of 2028?
When will we have a fully formalized proof of Fermat's Last Theorem?
Could Fermat have had a proof of Fermat's Last Theorem?
5% chance
ZK tool for demonstrating one has proved math theorem (in Lean) created by EOY2026?
25% chance