Will Fermat's last theorem be formalized before AI gets IMO gold?
Mini
8
Ṁ2222041
23%
chance
1D
1W
1M
ALL
Get Ṁ1,000 play money
Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
74% chance
Will OpenAI o1 (or any direct iteration) get gold on any International Math Olympiad by the end of 2025?
48% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
62% 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?
67% chance
Will the first AI to get IMO gold tree-search the formal proof space?
61% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
15% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
20% chance
Will an AI get gold on any International Math Olympiad by 2025?
79% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
76% chance