2025-12-31 UTC
1,031,798.7 USDZ
end
AI wins IMO gold medal in 2025?
0.35%
99.65%
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"
