Google DeepMind's AlphaProof Code Verified Signal's Cryptographic Core in Four Weeks

Google DeepMind has unveiled AlphaProof Code, an AI system that claims to have mathematically proven the cryptographic core code of the Signal messaging app meets security specifications in just four weeks, work that typically takes years.

According to DeepMind researchers Pushmeet Kohli and Swarat Chaudhuri, the system verified the actual cryptographic core code running on users' devices, not just theoretical designs. After experts defined formal security requirements, AI agents built on Gemini Carbon wrote over six million lines of Lean proof language code, flagging roughly one percent of the codebase for human review. Two deliberately planted bugs were caught immediately during testing.

Signal CTO Ehren Kret stated that this approach strengthens trust in data privacy. DeepMind plans to extend the method to power grids and medical devices through systems like CodeMender.