Comment by gmadsen

Sure in the same way you could automate Shakespeare plays by having a room full of monkeys with typewriters.

The space of mathematical statements is infinite. Having the taste, insight, and creativity to reach points in that space that are meaningful to humans is the entire game