The true test of civilization is not the census, nor the size of cities, nor the crops, but the kind of man that the country turns out.
文明的真正考验不是人口普查，不是城市的规模，也不是庄稼，而是国家培养出的人的类型。
人工智能不是零和游戏，它可以为每个人创造新的机会。
每个艺术家都是食人族，每个诗人都是小偷。他们都扼杀自己的灵感，歌唱悲伤。
If you're not moving forward, you're falling behind.
The beauty of literature lies in its ability to transcend time and place.
数学的快乐来自于复杂事物变得简单的清晰时刻。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
惊奇是智慧的开始。