我们允许系统在超时后继续运行。AxiomProver @axiommathai 现已解决 9 个问题。 去年,120 分中的 90 分在 2021 年排名第 4,2022 年排名第 3,2023 年排名第 2,2024 年排名第 1,均为 Putnam-Fellow 级别表现。@axiommathai 发生了什么事