Theorems are eternal; their proofs are ephemeral.
定理是永恒的;它们的证明是短暂的。
Diversity of thought drives innovation—it’s non-negotiable.
每一个发现都为成千上万的新问题打开了大门。
学习是系统中产生的任何变化,这种变化或多或少会永久性地改变其适应环境的能力。
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
"The quantum internet will be to today's internet what the telescope was to the naked eye."