The purported proof of the four color theorem has been retracted · HackerTrans