I think those words do convey useful information. If, for example, a student is told that a theorem has a simple proof, she will find it faster than if she does

I think those words do convey useful information. If, for example, a student is told that a theorem has a simple proof, she will find it faster than if she does not possess that information, because the search space becomes smaller.