Will Fermat's last theorem be formalized before AI gets IMO gold?
7
52
Ṁ98Ṁ130
2041
35%
chance
1D
1W
1M
ALL
Get Ṁ200 play money
Related questions
Will an AI solve any important mathematical conjecture before January 1st, 2030?
72% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?
69% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
41% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2029?
68% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
63% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2027?
32% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
60% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2032?
75% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
29% chance