技术与基础设施的融合势不可挡。
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.
Nature is to be followed, but only when it is refined by art.
我不需要任何人牵着我的手。
"Every face hides a story, every story hides a face."