
Este mercado se resolverá en "Sí" si alguna IA obtiene una medalla de oro en la Olimpiada de Matemáticas the International entre el 1 de enero de 2026 y el 31 de diciembre de 2026 a las 11:59 p.m., hora del Este. De lo contrario, este mercado se resolverá en "No".
La fuente de resolución es el Gran Desafío de la OMI (https://imo-grand-challenge.github.io/) y la Olimpiada de Matemáticas de Inteligencia Artificial (AIMO, https://aimoprize.com/). Si cualquiera de las fuentes demuestra que una IA ganó el desafío/premio antes de la fecha de resolución, este mercado se resolverá con "Sí".
«¿La IA gana la medalla de oro de la OMI en 2026?» es un mercado de predicción en Melbo. El precio de una participación refleja la probabilidad del resultado: en el resultado correcto cada participación se liquida a $1 y en el incorrecto a $0.