
Google uses AI to formally verify Signal code
Google DeepMind presented AlphaProof Code, a system combining AI agents and human review to prove selected security properties of the Signal protocol’s code. The team reports that agents powered by Gemini Carbon produced mechanically checked Lean proofs during a four-week project. The result covers the properties specified in the work and does not guarantee that no other flaws exist; the findings and priority claim come from the authors. Source: Google DeepMind, November 10, 2026.
Read analysis



