The tooling hasn't caught up yet to code gen speeds. If we generate code at AI speeds, we need verification at AI. Bottlenecks move. If code gen was 50% of the time and now it's 0% (it's not), you only get 2x faster. Lots of people are building tools (myself included) to solve this verification problem at scale.