Is it known that P ≠ NP, or is that only conjectured?
Answer. It is conjectured that P ≠ NP. Nobody has yet been able to prove or disprove that conjecture.