Comment by evanmarshall

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.