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.

译文：答应别人的话，千两黄金都不能更改。

成功不是成为最好的人，而是比昨天的自己更好。

我们不仅要造车，更要造好车。

We're told, from many sources, that any onecan achieve anything. We've done away with the caste system, we are now in a system where anyone can rise to any position they please. And it's a beautiful idea. Along with that is a kind of spirit of equality; we're all basically equal. There are no strictly defined hierarchies. There is one really big problem with this, and that problem is envy.

I love the world of movies. I love the world of storytelling.

伟大的领导者愿意做出他人回避的艰难决定。

行为金融学告诉我们，市场并不总是理性的，参与市场的人也是如此。