Claude, trilyonlarca testten kaçan hataları açık kaynak yazılımlarda buldu
Anthropic, Claude modelini yazılım doğrulama şirketi Theorem ile birlikte 123 açık kaynak kütüphanede biçimsel doğrulama için kullandı. Çalışma, yıllardır otomatik testlerden kaçan yüzlerce hatayı ortaya çıkardı ve 239 program giriş noktası için matematiksel kanıtlar üretti.
