Yapay Zeka Uygulamaları
Anthropic’in Yapay Zeka Ajanları Fermat’nın Son Teoreminin İspatını 11 Günde Bilgisayarla Doğrulanabilir Hale Getirdi
YZ şirketi Anthropic, Fermat’nın son teoreminin biçimselleştirilmiş bir ispatını oluşturdu. Bir grup YZ ajanının bu görevi tamamlaması sadece 11 gün sürdü ve böylece 1990'larda insanlar…