在谎言的迷宫中，真相是唯一的出路。

伟大的公司建立在伟大的产品之上，而更重要的是伟大的人。

我们要用技术连接世界，更要让技术普惠每个人。

There are no second acts in American lives.

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 probably not important to mathematics.