Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)

Lily Hay Newman / Wired:
Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept  —  DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended.  Their stretch goal?