Google DeepMind just mathematically verified key parts of Signal

Google DeepMind researchers utilized agentic AI to formally verify key cryptographic guarantees of the Signal protocol, a significant step for both cryptography and AI. This four-week project validates the security of widely used communication platforms and showcases DeepMind's AlphaProof Code framework. While promising for software security, the widespread practicality and effectiveness of AI-aided formal verification for large codebases remain to be fully determined.