Source Google DeepMind · Published · Open the original ↗
Lab notes
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.
Google DeepMind publishes this post on its own site. Supence shows only what the publisher allows to be quoted.