Verification Is a Bottleneck Now
Getting the model to do the work got cheap. Checking that the work is right did not. Inside a loop a weak check fails at machine speed. Here is why verification became the bottleneck, and what the research says about building a gate you can trust.