用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
The quality of an organization's integrity determines the quality of its trust.
战争是黑暗的，但有时它是我们唯一的光。
每一处空白都是打破预期的机会。
说到底什么是时装潮流？从艺术的角度来看，它通常是一种丑陋形式的表达，以至于人们忍无可忍地每六个月便要把它修改一下。
In the end, we all become stories.
I'm an introvert... I love being by myself, love being outdoors, love taking a long walk with my dogs and looking at the trees, flowers, the sky.
唯一真实的旅程是内心的旅程。