Report: DeepMind agents formally verified Signal's crypto code in four weeks
IgorCarron · x · 2026-11-11
A third-party claim circulating on X says Google DeepMind agents (described as Gemini Carbon-powered, built on AlphaProof Code) mathematically verified key security protections in Signal's actual machine code — a first at this depth for a widely deployed cryptographic protocol. Per the report, it took four weeks versus years for expert teams, generated over 6 million lines of Lean, flagged only 1% of the codebase for human review, and proved two previously fixed bugs were exploitable. Not yet officially confirmed by DeepMind or Signal.
More from Safety
- Congressional AI bill fight: federal preemption as 'floor, not a ceiling' — ShakeelHashim · 2026-11-12
- Standard binary hardening cuts Codex's 20 AI exploits down to just 2 — dawnsongtweets · 2026-11-12
- The patch-to-deployment window matters more than ever, CyberBinGym authors warn — dawnsongtweets · 2026-11-12
- Patches are clues: giving Codex the patched binary lifts exploit rate from 10% to 25% — dawnsongtweets · 2026-11-12
- CyberBinGym setup: 100 real CVEs, 53 projects, stripped binaries only — dawnsongtweets · 2026-11-12
- Dawn Song team's CyberBinGym: AI agents turn 1 in 5 binary patches into working exploits — dawnsongtweets · 2026-11-12