0
Google DeepMind says AI agents formally verified Signal protocol code in four weeks
Google DeepMind says its AlphaProof Code framework had AI agents prove key security properties of Signal's actual protocol code in four weeks. The company is open-sourcing the verification artifacts.