
Ce marché répondra « Oui » si une IA obtient une médaille d'or à l'Olympiade de mathématiques the International entre le 1er janvier 2026 et le 31 décembre 2026 à 23 h 59 HE. Sinon, ce marché se résoudra au « non ».
La source de résolution est le Grand Challenge de l'OMI (https://imo-grand-challenge.github.io/) et l'Olympiade de mathématiques de l'intelligence artificielle (AIMO, https://aimoprize.com/). Si l'une ou l'autre source démontre qu'une IA a remporté le défi/le prix avant la date de résolution, ce marché répondra « Oui ».
«L’IA remporte la médaille d’or de l’OMI en 2026 ?» est un marché prédictif sur Melbo. Le prix d’une part reflète la probabilité du résultat : sur le résultat exact, chaque part est réglée à $1, sur l’autre à $0.