I would argue that they need heavy human oversight
Then again, a human won't know all requirements either; over time, requirements are literally encoded.
Is there a delta? Debug and add a unit test to capture the bug. Then fix and move to the next delta.