普特南（Putnam），世界上最難的本科數學考試，昨天於太平洋時間下午4點結束。 今天中午，AxiomProver 自主解決了 9/12 的問題（昨天太平洋時間下午3:58，它是 8/12）。 我們的分數在去年的約4000名參賽者中將會是第一名，並且在最近幾年中成為普特南獎學金得主（前5名）。