diversión: hace 3/4 meses ejecuté o3 para algunos académicos en un conjunto de pruebas privado de problemas similares a AIME. Les ha llevado tanto tiempo escribir un resumen de los resultados (96%) que Alex resolvió el IMO mientras tanto.