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.

If you can dream it, you can achieve it.

The mathematician does not study pure mathematics because it is useful; he studies it because he delights in it and he delights in it because it is beautiful.

书籍是通往其他世界的窗户。

I don't ever wanna be mainstream.

最大的回报是看到人们喜欢我创造的东西。