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?