在数学中，提出问题的艺术必须比解决问题更有价值。
In mathematics, the art of proposing a question must be held of higher value than solving it.
I don’t create art for fame or money. I create it because I have to.
量子算法有可能彻底改变密码学和材料科学等领域。
The most valuable thing you can make is a mistake—you can't learn anything from being perfect.
Life is too short to wake up with regrets.
"The magic happens in the space between what's said and what's shown."
形式系统的发展彻底改变了我们对数学的理解。