Putnam, tes matematika tingkat perguruan tinggi tersulit di dunia, berakhir kemarin 4p PT. Siang hari ini, AxiomProver memecahkan masalah 9/12 di Lean secara mandiri (3:58p PT kemarin, itu adalah 8/12). Skor kami akan menjadi #1 dari ~4000 peserta tahun lalu dan Putnam Fellow (5 besar) dalam beberapa tahun terakhir