The greater ability to automate exploits will definitely move the bar for "long hanging fruit". Exploit chains that would've been infeasible to follow through on, the ability to automate search for weird interactions, etc.
We're going to need to move to formal systems and it will be painful