Maybe mathematicians should be aligned better, rather than AI?

The current measure of a successful mathematician is the problems they have solved or worked on. At some point in history, the measure of a successful scholar was how well one could copy manuscripts.

Once we have a tool that starts to work well for this task, it's time to define success differently. It's a classic alignment problem! ;)

But seriously, these people should start focusing on finding and proposing more important problems. And the credit of discovery should go to the person who defined a new category of important problems.

It appears to me this is an incredible inflection point in mathematics, a neat forcing function like cryptography was for the development for modern number theory and algebraic geometry.

Fundamental problems with great implications for other fields will be solved by AI because some entity would throw tokens at it. And these would be further built upon.