我不会把所有事情都发出来，但我发的每一条都是我心的一部分。

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 only way to do great work is to love what you do.