人工智能的真正价值在于增强人类智能，而非取代它。
Like dear St Francis of Assisi I am wedded to Poverty: but in my case the marriage is not a success.
就像亲爱的圣芳济一样，我也和贫穷联姻，但我的婚姻并不成功。
最重要的发现是那些迫使我们修正先前观念的发现。
一本书就是你握在手中的一个梦想。
If you don’t have time, you don’t have priorities.
"Travel is fatal to prejudice, bigotry, and narrow-mindedness."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
