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.

音乐让我找到了自己，也让我认识了世界。

我心中的伟大目标是让机器变得如此完美，以至于无需人手的帮助就能完成工作。

未来属于那些能够看到连接经济学、社会和政策的无形线索的人。

我的工作是让整个高管团队足够优秀，成为接班人。