I'm not sure what point the author is trying to make. Is he telling folks who happen to know something about the neat, precise theoretical models of formal CS t

I'm not sure what point the author is trying to make. Is he telling folks who happen to know something about the neat, precise theoretical models of formal CS theory, and who point out that GenAI error-prone and sloppy, shouldn't be critical of it?