I am assuming here, of course, that P≠NP (e.g. that oracle machines are, in fact, distinct from normal Turing machines). This is not known with certainty, and one of the most important unsolved problems in mathematics. If P=NP, then the implications are so baffling—both here and otherwise—that I'm not sure what to make of it.