没有执行的创新只是空想。

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.

"I'd never given much thought to how I would die, but dying in the place of someone I love seems like a good way to go."

Nature is the best teacher.

我们都是自己故事中的英雄。

你唯一应该努力超越的人是昨天的自己。

在怀疑时，克制自己。

我们都被年轻时的自己的幽灵所困扰。