The big picture

Formal verification has long been too slow and costly for most software. AI assistance now makes it practical enough to apply to protocols used by billions of people.