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.

我相信讲故事的力量可以改变世界。

如果你想有所发现，去寻找那些既显而易见又不可见的事物。