Will Kevin Buzzard successfully formalize Fermat's Last Theorem in Lean within his 5 year grant?
9
70
Ṁ167Ṁ210
2030
64%
chance
1D
1W
1M
ALL
Get Ṁ200 play money
Sort by:
@MartinModrak this market resolves yes only if there is a full formalization of Fermat within 5 years.
Related questions
Could Fermat have had a proof of Fermat's Last Theorem?
17% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
69% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
60% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
65% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will a correct solution to a Millennium Prize Problem be published by the end of 2030?
31% chance
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
74% chance
Will Eliezer Yudkowsky win his $150,000 - $1,000 bet about UFOs not having a worldview-shattering origin?
90% chance