Ask HN: What happened with the P!=NP solution from last week? | Hacker News Reader