IDK about this. The model y = ax + b is not specified, parameters a and b have to be chosen by optimization. Now add regularization that some of those parameters are shrinked to 0 (lasso) and you have "automatated model specification" where only some parameters are left and others discarded.

And furthermore the models are always chosen from a predefined hypothesis set, so there can never be truly automated specification.