Google DeepMind Uses AI Agents to Verify Signal’s Core Machine Code

Google DeepMind introduced AlphaProof Code on November 10, 2026, using teams of AI agents to produce machine-checked Lean proofs for specified security properties of Signal’s compiled libsignal code. The five-person research team completed the proof work in four weeks and released its specifications and verification artifacts for outside review. The work moved beyond an abstract model of Signal’s protocol design to its compiled implementation. Researchers wrapped the unmodified libsignal...