Guthrie's 1852 four-color guess survives 1000 random planar graphs

Part 72 of Forgotten Theories, a series re-testing old scientific claims with modern tools. Find the rest under the #forgotten-theories tag. In October 1852 a young law student named Francis Guthrie was coloring a map of the counties of England. He ...