Will Fermat's last theorem be formalized before AI gets IMO gold?
Mini
10
Ṁ3442041
12%
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?
80% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
63% chance
Will an AI get gold on any International Math Olympiad by 2028?
93% chance
Will an AI get gold on any International Math Olympiad before 2027?
85% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
84% chance
Will an AI get gold on this Olympiad by the end of 2025?
Time between AI winning IMO gold medal and AI producing a formalized gold medal (see description)
Will an AI get bronze on any International Math Olympiad by 2025?
91% chance
Will AI win a gold on IMO before it wins a gold on IOI?
76% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance