使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
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.
电影是历史的见证,它记录时代的变迁,传承人类的精神。
When in doubt, use brute force.
I don't know what I'm going to do next, but I'm excited about it.
保守主义始于一种所有成熟人都能轻易共鸣的情感:美好的事物容易被摧毁,却不易被创造。
Investing in people is the most valuable investment a company can make.