Wednesday, April 20, 2005

"Computer generates verifiable mathematics proof" of the Four Color Theorem. This should put the controversy over the 1976 computer-aided proof to rest.