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.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
成功不在于目的地，而在于旅程和沿途学到的教训。
能源转型不仅仅是更换燃料，而是整个能源系统的转型。
In string theory, all particles are vibrations of a tiny supersymmetric string.
"I think that the best work comes out of the necessity to do it, not the desire to do it."
The man who does not value himself, cannot value anything or anyone.
【译文】树应该遗憾自己的枝上长不出叶子，不要抱怨太阳偏心眼。人的一切都是命中注定的，一星半点也由不得自己。