Vale la pena reflexionar sobre lo rápido que ha sido el progreso de la IA, especialmente en matemáticas. En 2024, los laboratorios de IA estaban utilizando matemáticas de escuela primaria (GSM8K) como evaluación en sus lanzamientos de modelos. Desde entonces, hemos saturado el estándar MATH (de secundaria), luego AIME, y ahora estamos en el oro de la IMO.