Two Minute Papers · 2026-11-12 · notable
Two Minute Papers — 'DeepMind's AI Just Did The Impossible'
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.
Two Minute Papers · 2026-11-12 · 2 sources checked
Two Minute Papers explains how DeepMind's AI agents proved that Signal's encryption code is correct.
What is it?
'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 does it work?
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 is it for?
developers, security engineers and anyone curious about AI for formal proofs
Try it
https://www.youtube.com/watch?v=gPNiuyYirfw