// Dev
Google DeepMind used AI agents to formally verify key guarantees of the Signal protocol in four weeks
Its new AlphaProof Code framework found no new flaws, correctly failed older Signal versions with known bugs, and the spec and proof are being released.