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,000People are also trading
Related questions
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
68% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
76% 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?
61% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
22% chance
Will the first AI to get IMO gold tree-search the formal proof space?
55% chance
Time between AI winning IMO gold medal and AI producing a formalized gold medal (see description)
When would AI first get a gold medal or equivalent in IMO (International Mathematics Olympiad)