使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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.
医生对待病患的例子
I think the most important thing for a filmmaker is to have a vision and to be able to communicate that vision to others.
复杂性是执行力的敌人——保持解决方案简单。
孩子们值得拥有挑战他们的书，而不仅仅是娱乐。
最好的建筑来自于艺术与科学的交汇。