From DeepMind Blog

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

AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.

Read the full report at DeepMind Blog ↗