Claude, 123 açık kaynak kütüphanede makine denetimli güvenlik kanıtları üretti
Anthropic ve Theorem, Claude’un RISC‑V makine kodu düzeyinde 123 açık kaynak kütüphanedeki 239 fuzz testi giriş noktası için biçimsel güvenlik kanıtları oluşturduğunu açıkladı.
1 dk okumaHaberi oku



