AI právě dosáhla perfektního skóre v nejtěžší matematické soutěži na světě. Putnam má 12 úloh x 10 bodů. Nejvyšší skóre loni bylo 90. Střed? 0. AI dokazovač Axiomu v Lean získal skóre 120/120 a jen sdílel všechna řešení. Obrovský milník pro AI v matematice.
Zdroj:
131