用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
The more acute the experience, the less articulate its expression.
I don't let the world steal my magic.
I'm a person who likes to be rare.
建筑的情感力量是不可否认的。
石化行业必须拥抱数字化转型以保持竞争力。
艺术是以美为伪装的叛逆。
语出西汉·桓宽《盐铁论·力耕》 。治理家庭不能靠一件财宝；治理国家，不能靠一种方法。