创新不仅仅是技术问题，更是改变我们思维和运营方式的问题。
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.
The study of automata and formal languages is fundamental to understanding the limits of computation.
过去是一种幻觉，未来是一个谜，现在是一份礼物。
个人的行为并非以社会福利最大化为目标。