We know that $P\neq NP$ problem cannot be demonstrated by relativization because there exists oracle relative to which they are equal.Is there natural complexity classes that has been shown to be equal but are separate under some oracle?
Relativization results in class separation
complexity theory