普特南（Putnam），全球最艱難的本科數學競賽，於昨天太平洋時間下午4點結束。 在下午3:58，AxiomProver @axiommathai 自動解決了 Putnam2025 中的 8/12 題目，使用的是 100% 可驗證的語言 Lean。 去年，我們的得分將是約 4000 名參賽者中的第 4 名，並且成為普特南獎學金得主（近年來前 10 名）。