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