安静的人有着最响亮的思想。

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

学习人工智能的最好方法就是去做人工智能。

I never write Metropolis for seven cents because I can get the same price for city. I never write policeman because I can get the same money for cop.