Yapay Zeka
Claude, Trilyonlarca Testin Bulamadığı Yazılım Hatalarını Ortaya Çıkardı
Anthropic, Claude modelinin 123 açık kaynaklı yazılım kütüphanesindeki güvenlik özelliklerini biçimsel yöntemlerle doğruladığını ve bu süreçte yüzlerce hata ortaya çıkardığını açıkladı. Bazı güvenlik açıkları, trilyonlarca…