Confirming P ≠ NP would mean NP-hard problems are unconditionally intractable in the general case, c...