Signal’s encryption just passed an AI-powered mathematical checkup

Google DeepMind used its AlphaProof Code AI framework to mathematically verify key cryptographic guarantees of the Signal protocol, confirming its security and demonstrating AI's potential in formal software verification. The project, completed in four weeks, validated Signal's protocol but did not cover the entire app, marking a milestone toward broader AI-aided software security.