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

On Sun, 2 Oct 2005, dasimov@earthlink.net wrote:

It may, however, still be about as hard as ever for a human to verify that the original computer proof was valid. The more recent (mid '80s ?) improvment on the original proof would, I think, also be deemed hard to verify the correctness of the computer aspect of the proof. (I suspect that the correctness of at least the improved version is generally believed to now be human-verified, but am not sure of this.)

http://www.math.gatech.edu/~thomas/FC/fourcolor.html (I am not sure if this is still uptodate, though). Helger