故事的力量在于它能够连接我们，提醒我们共同的人性。

书写过去是理解现在的一种方式。

数字化转型始于文化，而非技术。

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.