"We are all the heroes of our own stories."

人类的历史性上升，整体而言，可以概括为意识对盲目力量的一系列胜利——在自然中、在社会中、在人类自身中。

Sometimes, the hardest thing in life is to know which bridge to cross and which to burn.

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.

我是一个喜欢不普通的人。