Конкурс по математике Putnam, самый сложный среди студентов, завершился вчера в 16:00 по тихоокеанскому времени. К 15:58 AxiomProver @axiommathai автономно решил 8 из 12 задач Putnam2025 на языке Lean, который на 100% проверяемый. В прошлом году наш балл был бы #4 из ~4000 и мы стали бы стипендиатом Putnam (топ-10 за последние годы)