Precisely. In the case of the NP-hard example I presented below, the researcher (who's name eludes me) attempted to prove that a solution did not exist.
From a computer science perspective, this would be favorable, as a solution for NP-hard would render a lot of crypto useless overnight. =P