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 most sustainable product is the one that lasts the longest.

我们生活的目的是快乐。

真相是，我不知道自己为何写作。我只知道我必须写。