IMO that’s where AI is going: as soon as a problem can be formulated clearly enough, AI will trounce us humans. I have yet to see evidence that it can decide what problems are important at a remotely human level.
I think something like the Collatz conjecture will be solvable not as number theory or ergodic theory but some other completely wacky environment that humans haven't even sniffed at.