普特南，世界上最难的大学数学考试，昨天4点太平洋时间结束。 今天中午，AxiomProver在Lean中自主解决了9/12个问题（昨天3:58pm太平洋时间时是8/12）。 我们的得分在去年的约4000名参与者中将是第一，并且在最近几年中是普特南奖学金获得者（前5名）。