Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google DeepMind releases AlphaProof Code, an AI-powered mathematical proof software that meets security specifications, and completes the verification work usually requiring several years on the Signal encryption protocol in just four weeks.
Same story2 other outlets also reported this
- Google DeepMind··First
AlphaProof Code: Google DeepMind open-sources multi-LLM intelligent agent framework for complex software deep formal verification
- Ars Technica · AI··+26 h 6 min
Google DeepMind uses AI to mathematically verify key parts of the Signal protocol
Adds:independent verification for Signal application, Google Messages, and WhatsApp
- The Decoder··+30 h 16 min·Reading now
Google DeepMind releases AlphaProof Code, a four-week verification of the Signal encryption core
Adds:mathematical proof that software meets security specifications
In order of publication · later reports are added as they appear · Compared by AI from each outlet’s title and summary
Nov 11, 2026
Google Deepmind has unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specs without errors. Researchers demonstrated the technology on Signal's encryption protocol, completing in four weeks work that typically takes years. Earlier verification efforts stopped at the theoretical design stage, according to a blog post by DeepMind researchers Pushmeet Kohli and Swarat Chaudhuri. AlphaProof Code verified the actual cryptographic core code running on users' devices. After experts defined formal security requirements, AI agents built on Gemini Carbon wrote over six million lines in the Lean proof language, flagging roughly one percent of the codebase for human review. Two bugs planted deliberately for testing were caught immediately.
Signal CTO Ehren Kret says the approach strengthens trust in data privacy as AI threats grow. DeepMind plans to extend the method to power grids and medical devices through systems like CodeMender.
AI News Without the Hype – Curated by Humans
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
Source: The Decoder · the-decoder.com