Proving P ≠ NP via Categorical and Graph-Theoretic 3-SAT | Hacker News Reader