AI & Enterprise
DeepMind releases AlphaProof Code to verify machine code
Google DeepMind says it used AI agents to mathematically verify the security of libsignal, a core library in Signal\'s encrypted protocol, down to compiled machine code. It released the AlphaProof Code framework and said it analyzed Rust-based libsignal compiled into AArch64 Linux instructions. Researchers wrote about 6.5 million lines of Lean proof code over four weeks and tested error detection by reinserting two fixed vulnerabilities.
