divertido: hace 3/4 meses corrí o3 para algunos académicos sobre un conjunto de problemas al estilo AIME. Les ha llevado tanto tiempo escribir un resumen de los resultados (96% si no recuerdo mal) que Alex resolvió la prueba y el IMO en el ínterin, jaja.

@littmath Dicho esto, no está claro si la prueba se resolverá para cuando ellos publiquen ese borrador.