deepmind.google/blog/introducing-alphaproof-code AlphaProof Code
Google DeepMind researchers say AlphaProof Code, pairing human experts with AI agents, formally verified key security properties in Signal protocol code at the implementation level, generating over six million lines of Lean in four weeks. It also proved two reintroduced, previously fixed bugs were insecure.
