Quality should never be compromised for the sake of short-term profits.
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.
我只想知道我将在哪里死去,这样我就永远不会去那里。