You're implying the reverse causation. The reflection is "can't find answer" -> "might be hard", not "might be hard" -> "can't find answer".

Surely there is copius documentation on a significant number of hard problems.