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.

古代著书立说的人，都是有所为而为之，不是随便写写的。

永远不要为了速度而牺牲质量。

Change is hardest in the beginning, messiest in the middle, and best at the end.

Gratitude will unlock all other virtues and is something you can get better at.

We write to remember, but also to forget.

I’m a very positive thinker, and I think that is what helps me the most in difficult moments.

Data is the oil of the new era, but more valuable than oil.