Deixamos o sistema continuar rodando além do limite de tempo. O AxiomProver @axiommathai resolveu 9 problemas. Uma pontuação de 90 em 120 classificou a pessoa em 4º lugar em 2021, em 3º em 2022, em 2º em 2023 e em 1º em 2024 no ano passado, todas elas de nível Putnam-Fellow.
@axiommathai o que aconteceu?
