Putnam, najtrudniejszy na świecie test matematyczny na poziomie uniwersyteckim, zakończył się wczoraj o 16:00 PT. Dziś w południe AxiomProver rozwiązał 9/12 problemów w Lean autonomicznie (wczoraj o 15:58 PT było 8/12). Nasz wynik byłby #1 spośród ~4000 uczestników w zeszłym roku i Putnam Fellow (top 5) w ostatnich latach.