Being "mechanical" does not mean anything "easy". It's hard, nearly impossible, simply because the most formal definition of this process boils down to an exhaustive search in a huge (but finite) morphological box. That's why we need the greatest minds that are able to find suitable search heuristics.
But yet, this process does not produce any new knowledge on its own. All the knowledge is there, in the data. Waiting to be extracted.
No, this is not a new knowledge, and not a new information (as defined by the algorithmic information theory), it's a non-falsifiable piece of, well, probably art. For this very reason mathematics is not considered a science.
But yet, this process does not produce any new knowledge on its own. All the knowledge is there, in the data. Waiting to be extracted.