I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
我希望不久之后我们就能有一台能够解决所有数学问题的机器。
真相会让你自由,但首先它会激怒你。
最好的领导者是那些培养更多领导者的人,而不是追随者。
The pursuit of mathematical truth is a deeply personal and profoundly universal endeavor.
The world is not a wish-granting factory.