在全球化时代，国家的比较优势越来越由创新能力而非传统要素禀赋决定。

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.

商业中最危险的话是"我们一直都是这么做的"。

智能化不是替代人，而是让人从繁重劳动中解放出来。