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.

二十年后，你会懊悔更多的是那些现在没做，而不是真的做了的事。所以，抛开绳结，驶离安全的港湾。掌握好你的风向，勇敢的探险，梦想，发现吧。

It's a terrible thing to be alone—yes it is—but it's also terrible to be with people and still feel alone.

企业的成功不仅仅依赖于资金和技术，更重要的是人才。

I'm not afraid to speak my mind.