用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
黑色是光的颜色，不是黑暗的颜色。
Sleep is not a luxury; it’s a necessity for your brain.
不要被竞争驱动，而是被愿景驱动。
心理学必须基于可观察的现象，而非抽象。
I choose a lazy person to do a hard job. Because a lazy person will find an easy way to do it.