Get the latest tech news
The Four-Color Theorem Gets a Rare New Proof
By revisiting the famous problem — which was controversially solved in the 1970s with the help of computers — mathematicians have gained important new insights into the nature of graphs.
None
Or read this on Hacker News