I think it's just that the word "generate" isn't supposed to be there:

    However, they are increasingly being used to assist human mathematicians in a variety of creative ways, beyond just brute-force case checking or computation.