You still need some brilliant mathematicians to invent new problems. AI is not yet good at inventing problems which are both novel and interesting.