Formal Verification

1 post tagged #formal-verification

a close up of a computer screen with code on it AI and Machine Learning

DeepMind AlphaProof Code: What It Really Proved on Signal

DeepMind's AlphaProof Code used Gemini-powered agents and 6M lines of Lean to verify Signal's protocol. Here's what was actually proven — and the 'zero bugs' claim it wasn't.

7 min read
Read more

Keep exploring

Close to this topic, not on this page.