Google DeepMind's AI Agents Machine-Verified Signal's Core Crypto Code

DeepMind's AlphaProof Code produced 6.5 million lines of machine-checked Lean proofs for Signal's unmodified libsignal binaries in four weeks, with five researchers supervising AI agent teams.