Google DeepMind's AlphaProof Code uses AI agents to formally verify Signal's cryptographic protocol in four weeks—a task that traditionally takes expert teams years; system generated six million lines of mathematical proofs to confirm security of code protecting billions of private conversations.

Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

November 10, 2026 ResearchHow Google DeepMind researchers built a new agentic framework that formally verified the code of Signal’s cryptographic protocol — long considered to be a grand security challengeToday, we’re sharing a milestone in software security long considered to be a grand security challenge: Google DeepMind researchers guided AI agents to mathematically prove key security properties of the actual code underlying the Signal protocol, the technology that protects billions of privat...