使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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 principles of logic and mathematics are true universally simply because we never allow them to be anything else.
The world is a book, and those who do not travel read only a page.
压力只是比赛的一部分。你必须接受它。