> if humans aren’t reading the code, then the only thing that matters is correctness. Correctness may be an easier problem to solve than readability and refactorability.

I suspect it's the opposite: It's rather easy to write code that looks good but isn't exactly correct.