Este mercado se resolverá a "Sí" si alguna IA obtiene una medalla de oro en la Olimpiada Internacional de Matemáticas entre el 1 de enero de 2026 y el 31 de diciembre de 2026, a las 11:59 p. m. ET. De lo contrario, este mercado se resolverá a "No".
La fuente de resolución es el IMO Grand Challenge (https://imo-grand-challenge.github.io/) y la Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). Si cualquiera de las fuentes demuestra que una IA ha ganado el desafío/premio antes de la fecha de resolución, este mercado se resolverá a "Sí".
¿La IA gana medalla de oro en la IMO en 2026? — Predicciones