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 want to stand as close to the edge as I can without going over. Out on the edge you see all kinds of things you can't see from the center.