Introducing AlphaProof Code: a breakthrough in verifying complex software at depthhttps://deepmind.google/blog/introducing-alphaproof-code/

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