Will Fermat's last theorem be formalized before AI gets IMO gold?
10
130Ṁ3442041
12%
chance
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
1,000Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
79% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
65% chance
Will an AI get gold on this Olympiad by the end of 2025?
Will AI win a gold on IMO before it wins a gold on IOI?
76% chance
Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
64% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
86% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?
95% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
19% chance