Will Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
8
1kṀ3402031
64%
chance
1H
6H
1D
1W
1M
ALL
Grant specs: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
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?
10% 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?
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
69% chance
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