The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.
Fear is the main source of superstition, and one of the main sources of cruelty. To conquer fear is the beginning of wisdom, in the pursuit of truth as in the endeavour after a worthy manner of life.