Human code review is still cheaper than fully automated verification - Peter Lavigne

Verifying that AI-generated code generalizes and has no unintended behavior is automatable, but current tooling makes it more expensive than human code review.