I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
我希望不久之后我们就能有一台能够解决所有数学问题的机器。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
让梦想成真的最好方法就是醒来并行动。
I'm a person who likes to be uncommon.
「释义」：你不看花时，花与你同样寂静；你来看花时，花的颜色才生动显现。
有时候你必须先迷失自己，才能找到任何东西。