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