It's interesting how this article made it to HN - From the post about the potential proof surrounding P != NP yesterday, there was a great comment thread on a bit of the history of proofs, where this link was shared.