Pourquoi suis-je enthousiaste à propos des résultats d'IMO que nous venons de publier : - nous avons fait très peu de travail spécifique à l'IMO, nous continuons simplement à entraîner des modèles généraux - toutes les preuves en langage naturel - pas de cadre d'évaluation Nous avions besoin d'une nouvelle percée en recherche et @alexwei_ et son équipe ont livré.