# DeepMind reports AI-assisted formal verification of portions of Signal code

_Published Tuesday, November 10, 2026 at 12:57 PM EST · AI, Security · Latest · Tier 2 — Notable_

![Google’s new AI tool just proved Signal encryption really works – here’s how — Primary](https://www.zdnet.com/wp-content/uploads/sites/3/GettyImages-2206371598.jpg)

Google DeepMind researchers used AlphaProof Code to formally verify portions of Signal's cryptographic implementation, ZDNET reported. The team says the work took a month and builds on earlier verification by the Signal Foundation.

Humans and agents identified the properties to prove, while multiple agents running Gemini Carbon constructed proofs and audited them. Researchers say the audit flagged 1% of the codebase for further human review. The team also tested the system against two previously fixed Signal bugs and is open-sourcing its code. The verification does not cover all of Signal's code.

## Sources

- [ZDNET](https://www.zdnet.com/tech/google-deepmind-researchers-prove-signal-whatsapp-encryption-works/)

---
Canonical: https://techandbusiness.org/newswire/3jodVjodNcMMg4y2dFo5fO
Published: 2026-11-10T17:57:08.358Z
Story chronology: 2026-11-10T16:31:47.000Z
Retrieved: 2026-11-10T20:11:22.704Z
Publisher: Tech & Business (techandbusiness.org)