如果任何人工智能在美国东部时间 2025 年 12 月 31 日晚上 11:59 之前在国际数学奥林匹克竞赛中获得金牌，那么市场将做出“是”的决定。否则这个市场将会做出“不”的决定。 解决方案来源是 IMO Grand Challenge (https://imo-grand-challenge.github.io/) 和人工智能数学奥林匹克 (AIMO, https://aimoprize.com/)。如果任一来源证明人工智能在解决日期之前赢得了挑战/奖项，则该市场将决定“是”。
