Comment by coliveira
4 days ago
I would answer to this that the mathematicians (humans) are the ones who give any meaning to mathematical discoveries. If we don't have mathematicians anymore, the result is that AI can find whatever they want, but 99% of that will be useless waste. Outside of practical applications, the only reason most mathematical results have any interest is that lots of mathematicians spend time trying to find their solution. Once humans stop caring, mathematics done in an automated fashion will also stop having any value, other than its possible use in finding solutions to existing engineering problems.
> Once humans stop caring
As a former research mathematician, I've already stopped caring due to AI. I used to write expository articles on mathematics on the internet but I deleted those because of AI. Unless mathematics and indeed human endeavors can be made human again, I don't see much point in caring to generate commodities in a mechanical fashion.