> Perhaps the strongest argument nowadays for QA is that with AI, automated verification is a leverage maximizer.

That sure is a sequence of words.

It comes across to me like the emphasized part is arguing against what it's supposed to be arguing for.

Or is the premise that the developers somehow can't run the AI verifier?