Il est intéressant de réfléchir à la rapidité des progrès de l'IA, en particulier en mathématiques. En 2024, les laboratoires d'IA utilisaient les mathématiques de l'école primaire (GSM8K) comme évaluation dans leurs publications de modèles. Depuis lors, nous avons saturé le benchmark MATH (lycée), puis l'AIME, et maintenant nous sommes au niveau or de l'IMO.