Your comment is a little hard to parse.  We could live in a world where there are short proofs that an NP-Complete problem is unsolvable but those short proofs are hard to find (i.e. NP=co-NP but P!=NP) [1].  I think there are other consequences but that&#x27;s an area I don&#x27;t know that much about.<p>[1] <a href="http:&#x2F;&#x2F;cstheory.stackexchange.com&#x2F;questions&#x2F;8087&#x2F;consequences-of-np-conp-and-p-ne-np" rel="nofollow">http:&#x2F;&#x2F;cstheory.stackexchange.com&#x2F;questions&#x2F;8087&#x2F;consequence...</a>