Nous avons laissé le système continuer à fonctionner au-delà du délai imparti. AxiomProver (@axiommathai) a maintenant résolu 9 problèmes. Un score de 90 sur 120, classé n°4 en 2021, n°3 en 2022, n°2 en 2023 et n°1 en 2024 l'année dernière, soit une performance de niveau Putnam-Fellow.
@axiommathai Que s'est-il passé ?
