"相机能看到眼睛看不到的东西。"
要创造不同的东西,你必须有不同的想法。
Technology ultimately serves people, not the other way around.
I think the most important thing in life is self-confidence.
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.