Thị trường này sẽ giải quyết thành "Có" nếu bất kỳ AI nào nhận được huy chương vàng trong Olympic Toán Quốc tế giữa ngày 1 tháng 1 năm 2026 và ngày 31 tháng 12 năm 2026, 11:59 tối theo giờ miền Đông. Nếu không thị trường này sẽ giải quyết thành "Không."
Nguồn giải quyết là IMO Grand Challenge (https://imo-grand-challenge.github.io/) và Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). Nếu một trong hai nguồn chứng minh rằng một AI đã thắng thử thách/giải thưởng trước ngày giải quyết, thị trường này sẽ giải quyết thành "Có".
AI thắng huy chương vàng IMO năm 2026? — Thống kê & Dự đoán