Never forget what you are, for surely the world will not. Make it your strength. Then it can never be your weakness. Armor yourself in it, and it will never be used to hurt you. 

AI is a journey, not a destination.

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

数学家的模式，就像画家或诗人的模式一样，必须是美丽的。