Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
5
1kṀ1352031
56%
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
When will we have a fully formalized proof of Fermat's Last Theorem?
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Could Fermat have had a proof of Fermat's Last Theorem?
5% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
39% chance
Will rw_search be able to replace >50% of mathlib proofs by 2025-11-26?
19% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Which theorems will be formally proven in Lean by the end of 2028?
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
49% chance