创造是为无生命之物注入生命。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
人工智能的未来在于人类智能与机器智能的融合。
未来是我们能够塑造的东西，而不仅仅是发生在我们身上的事情。
Memory， I realize， can be an unreliable thing； often it is heavily coloured by the circumstances in which one remembers.