P Does Not Equal NP (New Proof Candidate from Martin Dowd) | Hacker News Reader