在普特南竞赛的98年历史中(自1927年以来),只有5个满分。 AxiomProver获得了120/120的成绩。 我们向参加考试的学生致敬,并期待看到更多令人印象深刻的人类满分选手!