I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
我们曾有过残暴的国王,也有过愚蠢的国王。但我真不知道是造了什么孽才有了这有一个又残暴又愚蠢的国王。