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.

Loneliness is the human condition. Cultivate it. The way it tunnels into you allows your soul room to grow.

人生没有绝对的公平，但相对还是公平的。

You have to be willing to fail, to be wrong, to start over again with lessons learned.