To be happy, we must not be too concerned with others.
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.
"In the end, what matters most in a film is the emotional truth it conveys."
我总是尽量从错误中学习。