AI właśnie osiągnęło doskonały wynik w najtrudniejszym konkursie matematycznym na świecie. Putnam ma 12 zadań x 10 punktów. Najwyższy wynik w zeszłym roku wyniósł 90. Mediana? 0. Dowódca AI Axioma w Lean zdobył 120/120 i właśnie podzielił się wszystkimi rozwiązaniami. Ogromny kamień milowy dla AI w matematyce.
Źródło:
143