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 a finite problem.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
"I don't act to escape reality. I act to understand it better."
在全球化竞争中，我们必须保持开放的心态和学习的态度。
可持续性不是成本中心 - 它是对我们共同未来的投资。