Will Fermat's last theorem be formalized before AI gets IMO gold?
9
130Ṁ2272041
22%
chance
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
1,000Related questions
Related questions
Could Fermat have had a proof of Fermat's Last Theorem?
22% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
80% chance
Will OpenAI o1 (or any direct iteration like o3) get gold on any International Math Olympiad by the end of 2025?
60% 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 any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
19% 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 get gold on any International Math Olympiad by the end of 2025?
84% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance