Millennium · research open · AMS 68
unsolvedsorry — nobody on it
Conjectures in Complexity Theory
Conjecture · P_ne_NP
**P ≠ NP**:
The conjecture that the complexity classes P and NP are not equal.
Formal statement · Lean 4.lean
theorem P_ne_NP : P ≠ NP := by
sorryProof. sorry
Nobody has tried yet.