2025-12-31 UTC
939,278.37 USDZ
Remain:
51
The date countdown of the bet resolving
live
AI wins IMO gold medal in 2025?
7%
93%
Rules
This market will resolve to "Yes"
if any AI wins a gold medal
at the International Math Olympiad
by 2025-12-31 17:00 UTC.
Otherwise, this market
will resolve to "No".
The resolution sources are
the IMO Grand Challenge
https://imo-grand-challenge.github.io/
and the Artificial Intelligence
Math Olympiad (AIMO),
https://aimoprize.com/
If either source confirms that an AI
has won the challenge or prize
before the resolution deadline,
this market will resolve to "Yes"
