使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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 strongest companies are those that balance profit with purpose.
True architecture always emerges from the dialogue between past and present.
"I’m the one I should love in this world."
The habit of reading is the only enjoyment in which there is no alloy; it lasts when all other pleasures fade.