AI ajanları, güvenlik kanıtlarını el yapımıdan kitle üretimiye taşıyor. V12 ve Zellic, bu işlemin, CPU'nun çalıştırdığı ham makine kodu üzerinde kontrol edilen, tam bir x86 programının çalışmasını kapsayan ilk yayınlanan kanıt olduğunu söylüyor; bu, bir köprünin tasarımını değil, inşa edilmiş köprüyü incelemeye benziyor. Benzer bir başka program ise sadece 739 yeni satır kodla tamamlandı. Derlenmiş programın kendisi hakkında kontrol edilebilir bir güvenlik garantisi elde etmek, güvenilirlik katmanlarını azaltmak açısından çok değerli olurdu. En zor kısımların tekrar kullanılması, benzer bir sonraki programın doğrulanması için çok daha az çalışma gerektirir; bu da titiz güvenlik kanıtlarının ölçeklenebilir hale gelmesini sağlayabilir! Bu sonuçların kendi çalışmalarından geldiğini ve x86 modelinin hâlâ geliştirme aşamasında olduğunu ve henüz bir insan tarafından denetlenmediğini kabul etmeleri önemlidir; ancak bu yöntemin ölçeklenebilir olması oldukça etkileyici olurdu. https://t.co/CS5gv6j3uz