Although it is unknown whether P = NP, problems outside of P are known.
虽然是否P=NP还是未知的，在P之外的问题是已经知道存在的。