KEY POINTS
- DeepMind used agentic AI to formally verify several key cryptographic guarantees of the Signal protocol in four weeks.
- No new vulnerabilities were found, but the tool flagged known, long-fixed flaws in older Signal versions.
- The researchers are publishing their specification and proof, while cost and commercial plans remain undisclosed.
Google DeepMind researchers have used agentic AI to mathematically prove, a process known as formal verification, a number of key cryptographic guarantees of the Signal protocol, WIRED reported. The project was run as a proof of concept and took four weeks.
