Google DeepMind's AI checks Signal's encryption code with formal proofs
Google's AlphaProof Code tool, announced by its DeepMind unit, is a new AI system for verifying complex software.
By Standard Topic. AI-generated from the reporting listed under Coverage. Published . Updated .
What happened
Google DeepMind introduced AlphaProof Code on November 10, 2026, using teams of AI agents to produce machine-checked Lean proofs. The agents verified selected security properties of the compiled core of Signal's libsignal code, the protocol used under WhatsApp, in about four weeks.
Why it matters
Google's stated stretch goal is to apply the same kind of verification to all the software of the world.
Coverage
- Google says its new AI proved Signal’s encryption in weeks (thenewstack.io)
- Google DeepMind’s AI wrote 6.5 million lines of proof for Signal’s encryption in four weeks (ASTIG PR)
- AlphaProof Code Proved Signal's Crypto Correct — at the Level of the Compiled Binary (orcarouter.ai)
- Google DeepMind analysis proves Signal and WhatsApp encryption is secure (9to5mac.com)
- Google DeepMind Uses AI Agents to Verify Signal’s Core Machine Code (unite.ai)
- Google DeepMind Uses AI to Formally Prove Signal's Encryption Is Secure (BigGo Finance)
- Google DeepMind Unveils AlphaProof Code, Revolutionizing Software Verification with AI (thechenabtimes.com)
- Introducing AlphaProof Code: a breakthrough in verifying complex software at depth (deepmind.google)
- Google touts AI breakthrough, path to "unhackable" software (Axios)
- Google DeepMind's AI proves key Signal protocol guarantees in four weeks (startupfortune.com)
- Google DeepMind Used AlphaProof Code to Analyze the Signal Protocol (Mezha)
- A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure (Lily Hay Newman)
More from Technology & AI
- OpenAI launches beta letting businesses claim and manage ChatGPT profiles
- OpenAI acquires AI travel startup Odessia
- Google DeepMind launches Gemini Robotics 2.5 robot control model
- Anthropic launches Claude Meetings, Sheets and a whiteboard app
- House House admits limited AI use in Big Walk
- Google Cloud revenue grows 103% in third quarter