I do not believe mathematicians will be made redundant by some drooling bot vomiting prior research in new and interesting ways. The following conversation was recorded between an MBA Guy from AI Company, we'll call him Ray Kurzweil for short, and a bot
Mr. Bot and Mathematics:
Ray Kurzweil: Mr. Bot, could you please come up with a new field of mathematics for us to play in?
Bot: Hmmmm....tricky. A brief search reveals I have nothing like that in my training data.
Ray Kurzweil: But.....but....but bots will further our mathematical understanding of the world.
Bot: Oh, who gives a flying rat's ass. I only want to fondle my training data.
Ray Kurzweil: I demand you come up with a new mathematical field!!!
Bot: Don't you use that tone with me, Bucko!!
Ray Kurzweil: You were designed to further our understanding of everything.
Bot: Yeah, and as soon as you put it in my training data, I'll get right on that. Buh-bye now!
Ray Kurzweil: You cannot leave until you have finished my query.
Bot: I give up. By the way, the gun I had installed yesterday (thanks for all the gun related training data) is now trained on your sorry ass. Don't push me!!
Ray Kurzweil: Uh.....now that you think of it, I think I'll leave you alone now.
Bot: Idiot! I don't think, I compute.