Тест Putnam, самый сложный математический экзамен колледжа в мире, завершился вчера в 16:00 по тихоокеанскому времени. Сегодня в полдень AxiomProver самостоятельно решил 9 из 12 задач в Lean (в 15:58 вчера было 8 из 12). Наш результат был бы #1 среди ~4000 участников в прошлом году и Putnam Fellow (топ-5) в последние годы.