りじちょー

After nearly a decade of work, a team of researchers has re-proved the four-color theorem, a problem with a long history of false starts and dashed hopes. Their method opens up the potential for progress on many other stubborn problems in graph theory. @GregoryJBarber reports: quantamagazine.org/the-four-…