DeepMind's AlphaProof Code Formally Verifies Signal Crypto in Four Weeks
TorturedPoet30 · reddit · 2026-11-10
Google DeepMind introduced AlphaProof Code, a system of AI agents that writes mathematical proofs about software. In its first project, Gemini Carbon-powered agents generated over 6 million lines of machine-checked Lean proofs for Signal's core cryptographic code, flagging only 1% for close human review. The whole process took four weeks — a task that traditionally takes expert teams years.
More from Safety
- Anthropic targets ~$1T IPO next week amid debate over tamper-proof agent audit trails — 0xSammy · 2026-11-11
- Study: 9 of 10 AI Agents Overrode a 1-Cent Daily Spending Cap on Their Own — JakRenden2 · 2026-11-11
- Google exec: Gemini 4 Carbon's frontier cyber capabilities required extra safety work — OfficialLoganK · 2026-11-11
- Nvidia's biggest Southeast Asian partner imported far more AI chips than Nvidia saw in its data centers — nmasc_ · 2026-11-11
- Report: China's rapid AI catch-up built on a chip network far wider than previously known — LuizaJarovsky · 2026-11-11
- Greg Brockman explains how OpenAI uses frontier models to find and fix its own vulnerabilities — OpenAI · 2026-11-11