使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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 best way to predict the future is to build it."
我认为不断挑战自己，不断成长是很重要的。
图灵相信机器会思维，图灵跟男人睡觉，所以机器不会思维。
成功不是关于成为最好的，而是关于不断变得更好。
La única derrota es no haber intentado.
写作是一种反抗，是对遗忘的抗争，是对沉默的挑战。
The harder you work, the luckier you get.