我是无声者的声音。

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.

Dream starts, perseverance leads to victory.

极致就是把自己逼疯，把别人逼死。

快乐不是拥有得多，而是计较得少。

数学是理性的音乐。

The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'