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.

科学不仅仅是关于事实，更是关于提出正确的问题。

I always try to push my limits and see how far I can go.

我们独处时的自己与在他人面前时从不一样。即使在黑暗中，我们也是不同的。

不光染丝是这样,国家也会被染。