fewer mathematicians means fewer problems to solve. All problems have human origin, right? Can AI create a problem on its own and what would be the point? Closer to can god create a stone he can't lift.
Of course. It could hallucinate a nonsense, call it a problem, and fail to solve it.
The question is whether it could create an interesting problem, and be unable to solve it.
If the answer is yes, and yet we can solve it, it would have immense potential consequences for the ontology of mind and machine.
I'm quite excited to see how this intersection of the limited and the unlimited plays out.