Laporan AI · Google DeepMind · 2026-11-10 · Blog / komentar
Verifikasi Formal Protokol Signal dengan Gemini
Judul asli: Formal Verification of Signal’s Protocol with Gemini
Peneliti Google DeepMind menggunakan AlphaProof Code, sebuah kerangka kerja agentik baru, untuk memandu agen AI dalam membuktikan secara matematis properti keamanan utama dari kode di balik protokol Signal. Para pakar manusia menentukan apa yang akan dibuktikan dan meninjau spesifikasi keamanan, sementara agen AI melaksanakan pembuktian dalam Lean. Para agen juga mengaudit pembuktian tersebut dan menandai bagian yang perlu ditinjau ulang oleh manusia.