Subscribe
LIVE FEED
▸Anthropic Sets IPO Range of $70 to $78 Per Share, Implying $1.404 Trillion Value▸Google Releases Gemini 4 Carbon to the Public With an Agent 'Swarm' Feature▸DeepMind's AlphaProof Code Verifies Signal's Core Encryption With 3 Million Lines of Proofs▸OpenAI Launches Businesses in ChatGPT, Including Verified Business Agents▸Anthropic Launches Claude Meetings as Part of Its New AI Office Suite▸New York's AI Safety Law Takes Effect, Putting OpenAI and Anthropic Under Oversight▸Nvidia Opens Probe Into CEO Jensen Huang Over Ties to Suspected Chinese Spy▸Anthropic Launches Claude Fable 5.2 and Mythos 5.2 With Faster Outputs
Briefing presented by your brand
← All news
Research & Safety

DeepMind's AlphaProof Code Verifies Signal's Core Encryption with 3 Million Lines of Proofs

AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal's core encryption. DeepMind says it works as intended.

11 Nov 20262 min readSource: Google DeepMind, Wired
RESEARCH & SAFETY

Google DeepMind introduced AlphaProof Code. Its agents wrote three million lines of proofs in Lean to verify the core encryption in Signal.

DeepMind researchers were able to formally verify that the widely used Signal protocol works as intended. Their stretch goal is to do the same for "all the software of the world."

Why it matters: Formal verification by AI could change how teams prove that critical software is safe.

What builders should know

  • Formal proofs give stronger guarantees than testing alone.
  • The work targets complex software verified at depth.
  • The long-term ambition is far broader than one protocol.

Sources: Google DeepMind · Wired