即使处于巅峰，我也一直在寻找进步的方法。

"The only way to do great work is to love what you do."

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.

身体是精神的载体，是神圣之物。

孔子说：“明智的人喜欢水，仁慈的人喜欢山；明智的人好动，仁慈的人好静；明智的人快乐，仁慈的人长寿。”