Kỳ thi toán học cấp đại học khó nhất thế giới, Putnam, đã kết thúc vào ngày hôm qua lúc 4 giờ chiều theo giờ PT. Vào trưa hôm nay, AxiomProver đã tự động giải được 9/12 bài toán trong Lean (lúc 3:58 chiều theo giờ PT hôm qua, nó đã giải được 8/12). Điểm số của chúng tôi sẽ là #1 trong khoảng 4000 người tham gia năm ngoái và là Putnam Fellow (top 5) trong những năm gần đây.