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 resultados (98%) que Alex resolvió proof+IMO en el ínterin, jaja.
141