I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
我希望不久之后我们就能有一台能够解决所有数学问题的机器。
The key to security is not to trust anyone, including yourself.
The arithmetic of modular forms is a key to understanding the deeper structures of number theory.
The man who removes a mountain begins by carrying away small stones.