使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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 stories are those that ask questions, not answer them.