We are the real countries, not the boundaries drawn on maps with the names of powerful men.
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.
The only way to tell the truth is to speak without fear.