Change is not merely necessary to life—it is life.
变化不仅仅是生活的必要——它就是生活。
我们都在寻找某种东西，即使我们不知道它是什么。
The future of computing lies in the development of systems that can verify their own correctness.
The Langlands program is a vision of how mathematics could be unified in a single framework.
个人的就是政治的。