我希望不久之后我们就能有一台能够解决所有数学问题的机器。
The only way to discover the limits of the possible is to go beyond them into the impossible.