DeepMind Perkenalkan AlphaProof Code untuk Verifikasi Software
Judul asli: AlphaProof Code
Mengapa Ini Penting
Verifikasi formal otomatis bisa mengubah standar keamanan software secara industri.
Google DeepMind meluncurkan AlphaProof Code pada 10 November 2026, sistem AI untuk verifikasi formal software kompleks, termasuk protokol Signal.
Google DeepMind memperkenalkan AlphaProof Code, sistem AI yang dirancang untuk melakukan verifikasi formal terhadap perangkat lunak kompleks. Pengumuman ini dibuat pada 10 November 2026 melalui blog resmi DeepMind. Salah satu kasus penggunaan yang disorot adalah verifikasi protokol enkripsi milik Signal — aplikasi pesan terenkripsi yang dikenal ketat dalam standar keamanannya. AlphaProof Code merupakan kelanjutan dari lini AlphaProof, sistem pembuktian matematis berbasis AI yang sebelumnya dikembangkan DeepMind untuk menyelesaikan soal-soal matematika olimpiade tingkat tinggi. Verifikasi formal adalah proses pembuktian secara matematis bahwa suatu sistem perangkat lunak berjalan sesuai spesifikasi yang ditentukan — metode yang selama ini dianggap terlalu kompleks dan memakan waktu untuk diterapkan secara luas di industri.