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.

机会不会自己发生；你要创造它们。

我从不把自己当偶像看。别人的想法并不是我的想法。我只是做好自己的事而已。

"Writing is a way to make sense of our place in history."

知识不会使我们更丰富；它使我们越来越远离神话世界——这个我们曾经的天然家园。

In oil and gas, efficiency and responsibility must go hand in hand.