Will Fermat's last theorem be formalized before AI gets IMO gold?
10
130Ṁ3442041
12%
chance
1H
6H
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
58% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
45% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will the first AI to get IMO gold use formal methods?
62% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
11% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
14% chance
Will the first AI to get IMO gold tree-search the formal proof space?
55% chance