{"slug": "deepmind-s-alphaproof-code-proved-selected-signal-guarantees-in-four-weeks", "title": "DeepMind's AlphaProof Code proved selected Signal guarantees in four weeks", "summary": "Google DeepMind researchers Pushmeet Kohli and Swarat Chaudhuri announced on November 10th, 2026 that AlphaProof Code, a multi-agent formal verification framework, mathematically proved selected security properties of the actual code underlying the Signal protocol down to machine code in four weeks, with humans reviewing specifications and flagged proof code. DeepMind said the effort marked the first use of AI to verify a widely deployed cryptographic protocol at this depth. The result shifts the constraint in formal verification from proof generation to writing precise specifications and auditing the assumptions beneath them.", "body_md": "# DeepMind's AlphaProof Code proved selected Signal guarantees in four weeks\n\n**Pushmeet Kohli and Swarat Chaudhuri led a DeepMind effort that proved selected libsignal guarantees down to machine code, with humans reviewing specifications and flagged proof code.**\n\n        By [RuntimeWire Staff](https://runtimewire.com/author/runtimewire-staff)\n        · Published \n\nPrimary source: [Hacker News](https://deepmind.google/blog/introducing-alphaproof-code/)\n\n## Why it matters\n\nFormal verification has usually been too expensive for widely deployed production code. If AI agents can produce machine-checked proofs against real cryptographic implementations in weeks, the constraint shifts from proof generation to writing precise specifications and auditing the assumptions underneath them.\n\nGoogle DeepMind researchers led in the announcement by [Pushmeet Kohli (@pushmeet)](https://x.com/pushmeet?ref=runtimewire) and Swarat Chaudhuri said on November 10th, 2026 that AlphaProof Code, a multi-agent formal verification framework, had mathematically proved selected security properties of the actual code underlying the Signal protocol. DeepMind described AlphaProof Code as combining human expertise with AI agents, and said the work marked the first use of AI to verify a widely deployed cryptographic protocol at this depth.…\n\nWhen you purchase through links in our articles, [we may earn a small commission](https://runtimewire.com/affiliate-monetization-standards). This doesn’t affect our editorial independence.", "url": "https://wpnews.pro/news/deepmind-s-alphaproof-code-proved-selected-signal-guarantees-in-four-weeks", "canonical_source": "https://runtimewire.com/article/deepmind-alphaproof-code-signal-formal-verification", "published_at": "2026-11-10 12:43:46+00:00", "updated_at": "2026-11-10 15:52:35.688348+00:00", "lang": "en", "topics": ["ai-safety", "ai-agents", "artificial-intelligence", "ai-research"], "entities": ["Google DeepMind", "AlphaProof Code", "Signal", "Pushmeet Kohli", "Swarat Chaudhuri", "libsignal"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/deepmind-s-alphaproof-code-proved-selected-signal-guarantees-in-four-weeks", "markdown": "https://wpnews.pro/news/deepmind-s-alphaproof-code-proved-selected-signal-guarantees-in-four-weeks.md", "text": "https://wpnews.pro/news/deepmind-s-alphaproof-code-proved-selected-signal-guarantees-in-four-weeks.txt", "jsonld": "https://wpnews.pro/news/deepmind-s-alphaproof-code-proved-selected-signal-guarantees-in-four-weeks.jsonld"}}