The polynomial algorithm for 3-SAT problem (or P=NP)269 points by causticRead the articleDiscussion on Hacker News