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