人类整个历史上最大的悲剧可能是宗教对道德的劫持。
The greatest tragedy in mankind's entire history may be the hijacking of morality by religion.
故事的力量在于它能够激发希望。
在沉默中，我们找到真相。
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.
It’s not what we do once in a while that shapes our lives, but what we do consistently.