Ce dépôt GitHub contient le code d'entraînement et d'inférence permettant de reproduire notre solution gagnante du prix du progrès de l'Olympiade internationale de mathématiques par l'IA (AIMO). Notre solution se compose de quatre parties principales : une recette pour le réglage fin de DeepSeekMath-Base 7B afin de résoudre des problèmes mathématiques en utilisant l'inférence intégrée à des outils (TIR) ; deux ensembles de données d’entraînement de haute qualité comprenant environ un million de problèmes et de solutions mathématiques ; un algorithme de décodage autocohérent pour générer des candidats de solutions avec retour d'exécution de code (SC-TIR) ; et quatre ensembles de validation soigneusement sélectionnés provenant de l’AMC, de l’AIME et du MATH pour guider la sélection du modèle et éviter le surapprentissage sur le classement public.