普特南，世界上最难的本科数学竞赛，昨天太平洋时间下午4点结束。 到下午3:58，AxiomProver @axiommathai 在 Lean 这个 100% 可验证的语言中自主解决了 8/12 的 Putnam2025。 去年，我们的得分将是大约 4000 名参赛者中的第 4 名，并且是普特南奖学金获得者（近年来前 10 名）。