使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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.
我对与任何人竞争都不感兴趣。我希望我们都成功。
We don’t have as many managers as we should, but we would rather have too few than too many.
创新就是将已经存在的事物以新的方式结合在一起。