理解计算的限制与理解计算的能力同样重要。
Freedom of use is the most important quality of space.
我们能站在舞台上的原因是因为你们。
我没有任何特别的秘诀（用于开发新的证明）……这就是为什么做研究既具有挑战性又具有吸引力的原因。这就像在丛林中迷路，试图利用你能收集到的所有知识来想出一些新的技巧，并且如果运气好的话，你可能会找到出路。
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.
在这个行业取得成功，源于适应性和拥抱变革的意愿。
可追溯性不仅是为了消费者，更是我们的道德义务。
Do not put forward anything that you cannot prove by experimentation.