Re: [math-fun] New proof of Four-Color Theorem

At 12:20 AM 10/2/2005, dasimov@earthlink.net, math-fun wrote:

As is well-known, the four-color theorem was proved about 1977, making heavy use of computers.

Heavy use for that time - about 1200 hours on an IBM 360. I assume that is the total CPU time and not just the time it was in the machine on a time-sharing basis. Interestingly, the equivalent computing on a typical modern desktop computer would be on the order of 10 minutes. Seconds on a modern supercomputer.