Has the Four-Color Theorem been accepted? The Wikipedia article is ambivalent about this, stating "...Since then the proof has gained wider acceptance, although doubts remain". The MathWorld entry isn't much more reassuring.
This is notwithstanding the rigors of the mechanical proof by Gonthier.
Question: Has the Four-Color Theorem been accepted or are there still reasonable doubts?
 A: Yes, it is completely proven, however part of the proof entails a computer program that goes through a few thousand special cases. Without that program the proof would be incomplete.(*)
Now, some mathematicians at that time said (or even now say), proofs should be manually verifiable, therefore they did not accept this proof. Their reason for that is that it is known that computers DO miscalculate some very-very little amount, so they cannot (or at the time they could not) give full 100.00000...% certainty. 
In my view though this should be put in contrast with human logic errors on verifying proofs: we can't be sure that we currently don't have false theorems. (In fact, some human-proven theorems already turned out to be false in the past others will come.  ;) ) Also, there are such complex theorems now which can barely can be verified by other than the author, see the famous Poincaré conjecture, where Perelman refused to accept his price as nobody has rigorously checked this entire proof(!).
(*)(Actually, there are more proofs but every single proof relies on computers from a certain aspect: either special cases are checked OR the logical proof is a program, so you must trust the proof checker program's code. =) )
