I wouldn't be surprised honestly. Solving such kind of problems, regardless of how hard, is still an algorithmical task. So that much that purely mechanical solvers like Wolfram could be developed way in advance to AI. That's why such an ability from AI was never disputed. It's like playing chess or Go. Now, being able to create a new problem, like proposing a conjecture, and then solving it, that's something that at least Turing machines were demonstrated unable to perform, and that's what current AI still is. I think that with the advent of quantum computing we might be able to see AI performing such tasks, but by then it will actually be alive and conscious too, so it will just be another form of life.