diversão: 3/4 meses atrás eu executei o3 para alguns acadêmicos em um conjunto de testes privados de problemas semelhantes ao AIME. Demorou tanto para escrever um resumo dos resultados (96%) que Alex resolveu IMO nesse meio tempo.
155