人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。

唯一的规则就是没有规则。

Writing is the only thing that, when I do it, I don't feel I should be doing something else.

True progress is measured not just in profits, but in the positive impact we have on people and the planet.