Anthropic, Claude'un 123 açık kaynaklı yazılım kütüphanesinde matematiksel güvenlik doğrulamaları gerçekleştirerek yüzlerce yazılım hatası tespit ettiğini açıkladı.

Theorem ile yürütülen çalışmada Claude, 239 farklı kod giriş noktası için yaklaşık 180 milyon satırlık biçimsel kanıt üretti ve tespit ettiği hataları düzelterek belirli koşullarda yazılımların çökmediğini matematiksel olarak doğruladı. Araştırma, geleneksel testlerin yıllarca gözden kaçırdığı hataların yapay zekâyla bulunabileceğini gösterirken doğrulamanın yazılımların tamamen hatasız olduğu anlamına gelmediği vurgulandı.