There are no lines in nature, only areas of color, one against another.
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 still have a long way to go. But we are moving in the right direction.