If you do something once, people will call it an accident. If you do it twice, they call it a coincidence. But do it a third time and you've just proven a natural law.
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.
