Este mercado será resolvido para "Yes" se qualquer IA ganhar uma medalha de ouro na Olimpíada Internacional de Matemática entre 1º de janeiro de 2026 e 31 de dezembro de 2026, 11:59 PM ET. Caso contrário, este mercado será resolvido para "No". A fonte de resolução é o IMO Grand Challenge (https://imo-grand-challenge.github.io/) e a Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). Se qualquer fonte demonstrar que uma IA ganhou o desafio/prêmio antes da data de resolução, este mercado será resolvido para "Yes".
O ticker público do SpaceX será $SEX?
Claude 5 será lançado até 31 de março de 2026?
A xAI terá o melhor modelo de IA no final de junho de 2026?
Anthropic terá o melhor modelo de IA no final de junho de 2026?
O ticker público da SpaceX será $STAR?
A capitalização de mercado da SpaceX será maior que $1T no fechamento do mercado no dia do IPO?