Will Fermat's last theorem be formalized before AI gets IMO gold?
Basic
9
Ṁ2272041
22%
chance
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Related 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?
65% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
61% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
48% chance
Will the first AI to get IMO gold use formal methods?
70% chance
Will the first AI to get IMO gold tree-search the formal proof space?
61% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
Will an AI get gold on any International Math Olympiad by 2024?
14% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will OpenAI o1 (or any direct iteration) get gold on any International Math Olympiad by the end of 2025?
54% chance