The biggest challenge in our industry is not technical—it's changing mindsets.

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 probably not important to mathematics.

读书人如同国家的宝物，儒生就像宴席上的佳肴一样，值得珍重。

Losing is losing, there aren't different degrees of losing. You either win a championship or you're s---. It's very black & white to me）

保持领先的唯一途径是不断创新和适应。