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.

质量永远不应该妥协，即使面对成本上升。

诗人是为不可名状之物命名的人。

"The best way to innovate is to challenge the status quo."

译文：不肯向优秀的人学习，这便是失败的原因了。

The harder you work for something, the greater you’ll feel when you achieve it.

If you feel pain, it's because you're growing.