最好的艺术作品是提出问题而不是提供答案。
"The best artworks ask questions rather than provide answers."
快乐是最高的善，我们追求快乐，避免痛苦。
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 a finite problem.
