Yeah, exactly.

Problems where coming up with solution is hard but verifying a possible solution is easy.

And we all know what that class of problems is called.