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.

The beauty of theoretical computer science lies in its ability to connect abstract mathematical concepts with practical computational problems.

I'm the reason your light won't shine.

最危险的故事是我们不加质疑就相信的那些。

最好是不失败，其次则是败了却还有办法成功，这才叫善于用人。 

真相是美丽而可怕的东西，因此应该非常谨慎地对待。

When I’m painting, I’m not thinking about anything. I’m just painting.

鱼类的真实成本应该包括保持海洋健康的成本。

The study of automorphic forms is a journey into the heart of number theory.