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 probably not important to mathematics.

Every day is a new opportunity to change your life.

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

Memory is the only paradise from which we cannot be driven.