Cyber Security· Important
Google DeepMind introduces AI-powered formal software verification
Google DeepMind has unveiled AlphaProof Code, an agentic framework that utilizes Gemini Carbon models to perform formal verification of complex cryptographic protocols. By generating proofs in the Lean language, the system successfully verified the Signal protocol's implementation in four weeks—a task that historically required years of manual effort.