If you go far enough to the edge that's already how math works, since everything is very interpretation-sensitive.

There is however a new problem of scale. Erdös was a human and still managed to create work for an entire generation of mathematicians, how much of a mess will an automathician create?

> automathician

I vote for "automathon"