Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

What it is

Google DeepMind describes an agentic framework powered by Gemini Carbon for formal verification of Signal protocol code in Lean, with human experts reviewing specifications. The article is free to read; the achievement is company-reported, and conflicting line counts in its body and metadata should not be treated as an independently verified measure.

Topics