DeepMind Proves Signal Protocol Secure

Google DeepMind researchers used agentic AI to mathematically prove the Signal protocol's cryptographic guarantees in just four weeks. The project utilized a new framework called AlphaProof Code to validate software without finding new vulnerabilities, though DeepMind declined to share the cost of the analysis or confirm commercial plans for a formal verification product.