1. There have been many proofs that were claimed to be correct for the four color theorem. Well.. Is this one correct? I certainly can't tell at this point. So, (attempt to) shed some light.
2. This is an approach to computer verification of mathematical proofs. One such approach has lent credence to the four color theorem's proof. If you are into verification, perhaps you would like to make an excelle presentation of this.