Google DeepMind Uses AI to Prove Signal's Encryption... Google DeepMind's AlphaProof Code spent four weeks generating millions of lin... Oleksii Marchenko Nov 12, 2026