Has P vs. NP been solved yet? | Hacker News Reader