DeepMind
Google DeepMind Uses AI to Verify Signal's Cryptographic Code
Researchers at Google DeepMind employed AI agents AlphaProof Code to mathematically verify the key message protection mechanisms in Signal. Over four weeks, the system generated approximately 6.5 million lines of proofs in Lean. The work confirmed certain security properties of the cryptographic code but did not cover the entire application.