我喜欢压力。我喜欢那些重要时刻。

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 a finite problem.

在科学中最令人兴奋的短语，预示着新发现的，不是“我发现了！”，而是“这有点奇怪……”

目标不是完美，而是进步。

The greatest art is noisy with ideas.