
如果任何人工智能在 2026 年 1 月 1 日至 2026 年 12 月 31 日晚上 11:59(美国东部时间)期间在 the International 数学奥林匹克竞赛中获得金牌,则该市场将决定“是”。否则这个市场将会做出“不”的决定。
决议来源是 IMO Grand Challenge (https://imo-grand-challenge.github.io/) 和人工智能数学奥林匹克 (AIMO, https://aimoprize.com/)。如果任一来源证明人工智能在解决日期之前赢得了挑战/奖项,则该市场将决定“是”。
“2026年AI夺得IMO金牌?”是 Melbo 上的一个预测市场。份额价格反映该结果的概率:正确结果的每份份额按 $1 结算,错误结果按 $0 结算。