The question is whether “AI 在 2026 年赢得 IMO 金牌？?” occurs by the stated deadline and under the published conditions.
A Yes outcome requires the stated conditions to be met; No covers the alternative.
The qualifying event, evidence source, cutoff time, and any exceptions are documented in the Resolution Rules below.
如果在 2026 年 1 月 1 日至 2026 年 12 月 31 日，东部时间晚上 11:59 之前，任何 AI 在国际数学奥林匹克（International Math Olympiad）获得金牌，则本市场将结算为 "Yes"。否则本市场将结算为 "No"。
结算来源为 IMO Grand Challenge (https://imo-grand-challenge.github.io/) 和 Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/)。如果任一来源在结算日期前证明 AI 已获此挑战/奖项，本市场将结算为 "Yes"。
The question is whether “AI 在 2026 年赢得 IMO 金牌？?” occurs by the stated deadline and under the published conditions.
A Yes outcome requires the stated conditions to be met; No covers the alternative.
The qualifying event, evidence source, cutoff time, and any exceptions are documented in the Resolution Rules below.
如果在 2026 年 1 月 1 日至 2026 年 12 月 31 日，东部时间晚上 11:59 之前，任何 AI 在国际数学奥林匹克（International Math Olympiad）获得金牌，则本市场将结算为 "Yes"。否则本市场将结算为 "No"。
结算来源为 IMO Grand Challenge (https://imo-grand-challenge.github.io/) 和 Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/)。如果任一来源在结算日期前证明 AI 已获此挑战/奖项，本市场将结算为 "Yes"。