Terence Tao summarizing current status of P!=NP paper. | Hacker News Reader