Yapay zeka, dünyanın en zorlu matematik yarışmasında mükemmel puan aldı. Putnam'da 12 problem x 10 puan var. Geçen yıl en yüksek puan 90 oldu. Orta yol mu? 0. Axiom'un Lean'deki yapay zeka kanıtlayıcısı 120/120 puan aldı ve tüm çözümleri paylaştı. Matematikte yapay zeka için büyük bir dönüm noktası.
Kaynak:
216