R.J. Lipton - A proof that P is not equal to NP | Hacker News Reader