Google DeepMind Says AI Formally Verified Signal’s Protocol Code and Flagged Only 1% for a Human Look. Where Should Human Review Go?

· Qodo · Nov. 10, 2026, 11:50 p.m.
code reviews AI code review ai pull request review AI coding agents software development DeepMind AI in Software Engineering Signal protocol
Summary
The blog discusses Google DeepMind's successful formal verification of Signal's protocol code with AI, noting that only 1% of the code required human review. This raises questions about the future role of human review in code checks.
Read full post on www.qodo.ai →
AUTHOR