AI
DeepMind’s AlphaProof Code turns Signal verification into an AI workflow
Researchers say agents helped prove properties of the protocol’s implemented code. The claim is about specified cryptographic properties, not immunity from every security failure.