在普特南競賽的98年歷史中(自1927年以來),只有5個滿分。 AxiomProver 獲得了 120/120 的成績。 我們向參加考試的學生致敬,期待看到更多令人印象深刻的人類滿分得主!