Will a deepmind model be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
Mini
6
Ṁ1262040
31%
chance
1D
1W
1M
ALL
This resolves YES if the IMO grand challenge is completed first by a Deepmind team / model or wins the XTS AI-MO competition.
This market conditions on either of these being fulfilled by some team by 2040, if they are not this will resolve N/A.
Get Ṁ600 play money
Related questions
Related questions
Will an AI score 1st place on IMO 2025?
24% chance
Will an AI win a gold medal on IMO 2025?
65% chance
Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Will OpenAI be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
55% chance
Will xAI have a model within 50 points of the leading model on the LMSYS leaderboard before May 2025?
56% chance
Will the first AI to get IMO gold use formal methods?
67% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?
15% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?
85% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
48% chance
When will an AI win the $5 million XTX AI Mathematical Olympiad Prize?