I wonder how we could formalize the notion of „interesting“ problems in a way that would allow us to automatically generate new interesting questions from the existing corpus of mathematics.
Everything else is secondary (or the last of our priorities) and would be better automated?
This is a hard pill to swallow
Thats one of the timeless human debates.
We are now living in the perfect combo of low morality and general human automation. So i expect the next few decades dominated by people who think (and have a "proof") that doing something without an expected economic gain is useless.