AlphaProof Code

Google DeepMind used a new agentic AI framework, AlphaProof Code, to mathematically prove a number of the Signal protocol's key cryptographic guarantees. The proof-of-concept took four weeks and found no new vulnerabilities. DeepMind is releasing the specification and proof, and WIRED reports the analysis did not cover the entire Signal mobile app.