DeepMind’s AlphaProof Code Formally Verifies Signal Protocol
Google DeepMind says its AI agent system AlphaProof Code formally verified the core code of the Signal cryptographic protocol in about four weeks, with human experts re-reviewing only about 1% of the codebase.