# Two Minute Papers — 'DeepMind's AI Just Did The Impossible'

> Two Minute Papers explains how DeepMind's AI agents proved that Signal's encryption code is correct.

- Org: Two Minute Papers
- Date: 2026-11-12
- Category: video
- Source: https://www.youtube.com/watch?v=gPNiuyYirfw
- Canonical page: https://ai-tldr.dev/releases/two-minute-papers-alphaproof-code-nov12/

## In short

Two Minute Papers covers AlphaProof Code, the DeepMind agent system that wrote over six million lines of Lean to formally verify the code behind the Signal protocol in four weeks.

## What it is

'DeepMind's AI Just Did The Impossible' is a Two Minute Papers video uploaded on November 12, 2026. Its description links DeepMind's AlphaProof Code announcement and the technical paper on formally verifying the Signal protocol.

## How it works

In AlphaProof Code, human experts decide what to prove and review every specification, while agents powered by Gemini Carbon write the Lean proofs. The proofs reach down to the compiled code that runs on devices, and the agents flagged about one percent of the codebase for a human second look.

## Who it's for

developers, security engineers and anyone curious about AI for formal proofs

## Try it

https://www.youtube.com/watch?v=gPNiuyYirfw

## Links

- [Watch on YouTube](https://www.youtube.com/watch?v=gPNiuyYirfw)
- [DeepMind Announcement](https://deepmind.google/blog/introducing-alphaproof-code/)
- [Technical Paper (PDF)](https://deepmind.google/documents/36/Formal_Verification_of_Signal_4.pdf)