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