While it is not known that $P \neq NP$, it is known that for most oracles $A \subseteq \omega$ we have $P^A \neq NP^A$. This might be interpreted as "evidence" for the conjecture when $A = \emptyset$.
David Harris
- 3.5k
- 1
- 26
- 38