Agen AI sedang mengambil bukti keamanan dari pembuatan manual ke produksi massal. V12 dan Zellic mengatakan ini adalah bukti pertama yang mencakup seluruh jalannya program x86, diperiksa pada kode mesin mentah yang dijalankan CPU, seperti memeriksa jembatan yang sudah dibangun alih-alih blueprints-nya, dan program serupa kedua hanya membutuhkan 739 baris kode baru. Akan sangat bagus jika bisa mendapatkan jaminan keamanan yang dapat diverifikasi tentang program yang dikompilasi itu sendiri, dengan lebih sedikit lapisan yang diambil secara percaya. Menggunakan kembali bagian-bagian tersulit berarti program serupa berikutnya membutuhkan lebih sedikit usaha untuk diverifikasi, yang bisa membuat bukti keamanan ketat menjadi praktis dalam skala besar! Penting untuk dicatat bahwa ini adalah hasil mereka sendiri, dan mereka mengakui bahwa model x86 mereka masih dalam pengembangan dan belum diaudit oleh manusia, tetapi akan sangat keren jika ini bisa diskalakan. https://t.co/CS5gv6j3uz