# Google DeepMind's AlphaProof Code verifies Signal's cryptographic core in four weeks

> Original title: Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

- Source: The Decoder
- Published: 2026-11-11T18:18:25.000Z
- Bad Influence: https://badinfluence.news/items/h8ja4m9osrbrawgmbiag0ssvd
- Original: https://the-decoder.com/google-deepminds-alphaproof-code-verified-signals-cryptographic-core-in-four-weeks-instead-of-years/

## Summary

Google DeepMind has unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specifications. Researchers demonstrated it on the cryptographic core code running on Signal users' devices, work that typically takes years, in four weeks. AI agents built on Gemini Carbon wrote over six million lines in the Lean proof language, with roughly one percent flagged for human review, and caught two deliberately planted bugs.