我们知道的越多，就越意识到自己知道的多么少。

自守表示的研究是进入对称性核心的旅程。

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.

宇宙将目光投向一个二维生物，它一生都在为后来成为地球的东西服务，它可以旅行数百万年，并且总是会回到它的起点，它永远不会意识到它上面或下面的是什么。

When you can do the common things of life in an uncommon way, you will command the attention of the world.

Leadership means making tough decisions today that will benefit future generations.