使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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.
Language is the most powerful tool we have for shaping reality.
I’m not afraid of dying, I’m afraid of not trying.
我们需要确保互联网仍然是一个创新和自由表达的平台。
宇宙不仅比我们想象的更奇怪，而且比我们能够想象的更奇怪。
Cloud computing is like electricity, it will become the infrastructure of society in the future.
Everything makes me nervous - except making films.
"The past is always tense, the future perfect."
译文：明亮的月光掠过枝头，惊飞了树上的喜鹊;清凉的夜风中，半夜里蝉儿发出阵阵鸣叫。在稻花的香气里，人们谈论着丰收的年景，耳边传来一片青蛙的叫声。
Show me a hero and I'll write you a tragedy.