Google DeepMind Formally Verifies Signal's Crypto with AI

The approach bridges design-to-implementation gaps, with AI agents producing proofs and humans reviewing only critical sections. It completed in four weeks—far faster than traditional methods—and correctly identified two real, previously fixed bugs.

Summarised from the original article by an open-source model, then checked automatically: every number and English name must appear in the source. The original article is authoritative.