This group is intended for markets that relate to the performance of AI on the International Mathematical Olympiad (IMO). Inspired by the "IMO Grand Challenge" a proposal from the formal methods community to use the IMO as a benchmark for progress in machine learning, with the goal of an AI that can achieve a gold medal score.

Markets on whether AI will get a gold medal by year xxxx:

• /BoltonBailey/will-an-ai-get-gold-on-any-internat-2b53f4a252d8

• /Austin/will-an-ai-get-gold-on-any-internat

• /BoltonBailey/will-an-ai-get-gold-on-any-internat-960238cde8c2

• /Gigacasting/will-an-ai-win-a-gold-medal-on-the

• /BoltonBailey/will-an-ai-get-gold-on-any-internat-7dc55f5046a3

• /Gigacasting/will-an-ai-get-gold-on-any-internat-67d0e728e11a

• No market yet for 2030.

• No market yet for 2031.

• /Gigacasting/will-an-ai-win-a-gold-medal-on-the-31bd44fd431a

Let me know in the comments if you see or make a missing market.