"In the end, we are all alone, and that is the most terrifying truth of all."

我曾经整天不吃饭，整夜不睡觉，去苦苦思索，结果没有益处，还不如去学习。

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.

最好的决定往往是那些违背传统智慧的。