The test of our progress is not whether we add more to the abundance of those who have much; it is whether we provide enough for those who have too little.
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 probably not important to mathematics.