Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!houxm!houxz!vax135!cornell!uw-beaver!tektronix!hplabs!hao!seismo!brl-tgr!gwyn
From: gwyn@brl-tgr.ARPA (Doug Gwyn )
Newsgroups: net.math
Subject: Re: coloring a 3-dimensional map
Message-ID: <4105@brl-tgr.ARPA>
Date: Sun, 19-Aug-84 22:23:27 EDT
Article-I.D.: brl-tgr.4105
Posted: Sun Aug 19 22:23:27 1984
Date-Received: Wed, 22-Aug-84 01:08:39 EDT
References: <149@ihnet.UUCP>, <13900001@hp-pcd.UUCP>
Organization: Ballistics Research Lab
Lines: 3

Sorry, the 4-color theorem HAS been proved (with computer assistance).
I don't know anyone who is pleased with the proof, but it is generally
accepted.