divertido: há 3/4 meses, eu executei o3 para alguns acadêmicos em um conjunto de problemas no estilo AIME. Levou tanto tempo para eles escreverem um resumo dos resultados (96% se não me engano) que o Alex resolveu a prova e a IMO nesse meio tempo lol

@littmath Dito isto, não está claro se a prova será resolvida até o momento em que eles lançarem esse rascunho.