用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。

If you fulfill your obligations everyday you don't need to worry about the future.

我扮演的每一个角色，我都试图在其中找到自己的一部分。

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