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ı.
BİR BAKIŞTA
Haberin özeti
- Claude, 123 açık kaynak kütüphanede 239 giriş noktasını doğruladı.
- Kanıtlar 64 MB’tan küçük tüm girdiler için çökmesizlik özelliğini kapsıyor.
- Yaklaşık 180 milyon satırlık Rocq kanıtı üretildi.
- Sonuçlar belirli RISC‑V ve Linux model varsayımlarıyla sınırlı.
Neler değişiyor?
Anthropic ve Theorem, 22 Ekim’de büyük ölçekli biçimsel yazılım doğrulama çalışmasını yayımladı. Ekip, açık kaynak projelerin mevcut fuzz testlerini matematiksel özelliklere dönüştürdü; Claude bu özelliklerin derlenmiş RISC‑V kodunda her zaman sağlandığını gösterecek Rocq kanıtları yazdı.
Çalışmada Claude, bulduğu hataları yamaladıktan sonra 123 OSS-Fuzz kütüphanesindeki 239 giriş noktasının 64 MB’tan küçük tüm girdilerde çökmediğini kanıtladı. Üretilen kanıtlar yaklaşık 180 milyon Rocq satırına ulaştı; tipik bir kanıt yaklaşık 600 bin satır içeriyor ve dış Rocq denetleyicisi tarafından doğrulanıyor.
Sonuç tüm yazılımın hatasız olduğu anlamına gelmiyor. Kanıtlar tek iş parçacıklı, statik RISC‑V ikilileri, sabit bellek bütçesi ve modellenen Linux davranışı gibi varsayımlarla sınırlı. Anthropic, bağımsız doğrulama için kanıtların bir bölümünü ve güvenilen bileşenleri yayımlıyor.
Asıl kaynaklara göz at
Kaynak tarihi: 22 Ekim 2026.
AI Radar yayın saati: 23 Eki 2026 06:59 (Türkiye).
KONUYU TAKİP ET
Konular ve etiketler
Keşfini paylaş.
Bu haberi bir arkadaşına gönder.
Okuyucu yorumları
Bu gelişme hakkında ne düşünüyorsun? Deneyimini veya sorunu paylaş. Yorumlar editör onayından sonra yayımlanır.
Adın/takma adın ve yorumun onaylanırsa herkese açık görünür. Veri işleme hakkında: Gizlilik bilgilendirmesi.
Yorumlar yükleniyor…