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 Ṁ1,000 play money
Related questions
Related questions
Will OpenAI be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
55% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?
29% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
30% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
65% 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 AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
56% chance
When will an AI win the $5 million XTX AI Mathematical Olympiad Prize?
What company or institution will produce the first AI to get IMO gold?
Will an AI by OpenAI beat a super grandmaster playing chess by 2028?
41% chance
Will the first AI to get IMO gold use formal methods?
67% chance