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 variet

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.