Will a deepmind model be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
Basic
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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Will OpenAI be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
55% chance
Will the first AI to get IMO gold use formal methods?
54% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
37% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
60% chance
Will any Deepmind model exceed chatGPT interest? (by 2025)
22% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
80% chance
Will AI win a gold on IMO before it wins a gold on IOI?
35% chance
What company or institution will produce the first AI to get IMO gold?
When will an AI win the $5 million XTX AI Mathematical Olympiad Prize?