Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
Plus
5
Ṁ1352031
56%
chance
1D
1W
1M
ALL
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1
Get Ṁ1,000 play money
Related questions
Related questions
Will fermats last theorem be formalized in lean down to the axiom in 5 years.
49% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
What tactic will prove the most mathlib lemmas at the end of 2026?
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
39% chance
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
82% 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?
2% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Which theorems will be formally proven in Lean by the end of 2028?
When will we have a fully formalized proof of Fermat's Last Theorem?