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.

做出伟大工作的唯一方法就是热爱你所做的事。

If you want to change your life, change your mindset.

眼睛是什么也看不见的，应该用心去寻找。