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.
眼睛是什么也看不见的,应该用心去寻找。