Will Fermat's last theorem be formalized before AI gets IMO gold?
Mini
9
Ṁ2272041
22%
chance
1D
1W
1M
ALL
Get
1,000and
1.00
1,0001.00Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
72% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
60% chance
Will the first AI to get IMO gold use formal methods?
69% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will the first AI to get IMO gold tree-search the formal proof space?
55% chance
When would AI first get a gold medal or equivalent in IMO (International Mathematics Olympiad)
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
79% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
68% chance