The Verification Gap is a weekly newsletter about the growing gap between AI-generated code and the ability to verify it does what you intended.
AI generates code 10x faster. Verification hasn’t changed. Tests check behavior on specific inputs — they don’t check intent across all inputs. As AI writes more of your code, the gap between what you meant and what got built compounds with every commit.
This newsletter covers:
The AI verification problem — why tests aren’t enough when AI writes the code
Formal methods explained for working developers — no PhD required
Real bug stories that testing missed — from API gateways to aircraft to particle accelerators
Industry trends shaping how we build trustworthy software
Written by Leonid Bugaev, founder of Proof — the verification layer for AI-assisted development. reqproof.com
