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?
