The universe is a vast and mysterious place, and we are just beginning to understand its secrets.

“唯一不变的是变化。”

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.