The purported proof of the four color theorem has been retracted | Hacker News Reader