Google DeepMind company blog

AlphaProof Code

by Pushmeet Kohli and Swarat Chaudhuri deepmind.google published 2026-11-10

AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.

Points

213

HN comments

86

Submissions

1

Cited by

0 commenters

AI & Machine LearningMath & Algorithms2026

Related posts from the same era

Statement on US government directive to suspend access to Fable 5 and Mythos 5

Anthropic20263,158 points2,314 commentscited by 11 details

Astra can read and write weights to improve Qwen

RRikiya Takehi20262,963 points900 comments details

HackerTube: YouTube built from videos recommended by HN

karpathy20262,892 points644 comments details

Claude Fable 5

Anthropic20262,626 points2,159 commentscited by 10 details

Claude Code is steganographically marking requests

Thereallo20262,445 points750 commentscited by 3 details

My AI skeptic friends are all nuts

Fly.io Blog20252,356 points2,826 commentscited by 13 details