Google AI Verifies Signal Encryption

Google DeepMind researchers used the Gemini 4 Carbon model to verify Signal's encryption code in four weeks, generating over 3 million proof lines. The system confirmed security even after reintroducing two previously fixed bugs, marking the first time AI verified a widely deployed cryptographic protocol at this depth.