Google DeepMindbreakthrough46m agoenergy 146
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
image: Google DeepMind
AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.