Dejamos que el sistema siga funcionando más allá del límite de tiempo. AxiomProver @axiommathai ya ha resuelto 9 problemas. Una puntuación de 90 sobre 120 lo ubicó en el puesto número 4 en 2021, número 3 en 2022, número 2 en 2023 y número 1 en 2024 el año pasado, todos con un desempeño de nivel Putnam-Fellow.
@axiommathai ¿qué pasó?
