Regardless of what computers find interesting, humans want to progress math in stuff humans find interesting. We can't fully rely on computers to do that yet since they can't seem to judge that very well rn as good as human mathematicians.

Don't necessarily see a tautology here.