DeepMind's AlphaProof Code verifies Signal's crypto core in four weeks instead of years
The Decoder · rss · 2026-11-12
Google DeepMind's AlphaProof Code mathematically verified Signal's cryptographic core in four weeks, a process that typically takes years. AI agents powered by Gemini Carbon wrote over six million lines of proof code, with only about 1% flagged for human review. DeepMind plans to extend the method to critical infrastructure such as power grids and medical devices.
More from Safety
- Dev complains security features are gated behind expensive enterprise plans — AccBalanced · 2026-11-12
- SAFE-SEARCH workshop at ECIR 2027 calls for papers on safe conversational search — HamedZamani · 2026-11-12
- Toby Ord argues predeployment testing misses the real risk: internal frontier models — ben_j_todd · 2026-11-12
- The biggest AI control risks come from internal models, not public releases — ben_j_todd · 2026-11-12
- Data centers power 20% of US tech sector and half of decade's stock gains — SydSteyerhart · 2026-11-12
- Scale AI paper: 36% of 374 attack runs succeed — frontier models can covertly sabotage their successors — Miles_Brundage · 2026-11-12