生活是一个不断进化和学习的过程。

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.

人活在世上只是过客，如果离开人世也没让你最疼爱的人，知道你是谁，是很可悲的事情。

The human mind is capable of comprehending the universe because the universe has generated minds capable of comprehending it.

人们的问题是忘记了看大局。

我们奔跑，世界才能飞跃。