林业创新不是要取代自然,而是加强我们与自然的伙伴关系。
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.
学习不是强制性的...生存也不是。
I'm not a science, I'm a art.