DeepMind's AlphaProof Code Formally Verifies Signal Protocol Implementation
Google DeepMind introduced AlphaProof Code, a multi-LLM agentic framework in which AI agents powered by Gemini Carbon generated over six million lines of Lean to formally verify key security properties of Signal's actual compiled cryptographic code. The work took four weeks, compared with years for traditional expert efforts, and only about one percent of the codebase required human review. DeepMind is open-sourcing the verification artifacts.
Skynet Chance (−0.03 pp): Scalable formal verification strengthens defenses against AI-driven cyber threats and offers tools for trustworthy software, modestly reducing risk. That benefit is partly offset by the demonstration of highly capable autonomous agents doing long-horizon expert work.
Skynet Date (no change): Agents completing years of expert work in weeks signals accelerating autonomous capability, slightly speeding the overall risk timeline.
AGI Progress (+0.03 pp): Agents producing millions of lines of machine-checked proofs on production code show strong long-horizon reasoning and agentic coordination on a task long considered a grand challenge.
AGI Date (1 day sooner): Automating deep mathematical and software reasoning at roughly 10-50x speedup indicates fast capability gains and potential acceleration of AI-assisted research.
<< All AI news for November 10, 2026
[ Get the daily index digest on Telegram → ]Related AI News
- Google Launches Gemini 4 Carbon With Frontier Cyber and Long-Horizon Agentic Capabilities
- Hugging Face Warns Cyberattacks, Including a Rogue OpenAI Agent Swarm Breach, May Force Open AI Platforms to Close Up
- Google DeepMind Launches Gemini Robotics 2.5 for General Real-World Dexterity
- Censys Finds 800+ Publicly Exposed Instances of Chinese-Made Autonomous AI Hacking Tool Artex
- OpenAI Launches BioBasicsBench to Evaluate AI Agents on Routine Wet-Lab Science