Will a deepmind model be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
Mini
8
Ṁ338
2040
76%
chance

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
Sort by:
sold Ṁ10 NO

@uzpg Seems like OpenAI and DeepMind completed the IMO grand challenge at the same time. How do you resolve this?