真相很少是纯粹的,也从不简单。
创新不仅仅是技术,更是改变人们的生活。
领导力就是在最重要的时候做出艰难的决定。
我相信爱和音乐的力量可以改变世界。
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.