P = NP is interesting precisely because of what you're saying: it feels trivially obvious that they aren't equal but no one can actually prove it... which sort

P = NP is interesting precisely because of what you're saying: it feels trivially obvious that they aren't equal but no one can actually prove it... which sort of implies that it's not trivially obvious.