The closer you are to death, the more alive you feel.

尤其在科技领域，我们需要革命性的改变，而不是递进式的改变。

The secret of change is to focus all your energy not on fighting the old, but on building the new.

The only way to do great work is to love what you do.

I'm the only person I know that's lost a quarter of a billion dollars in one year...It's very character-building.

Strength does not come from winning. When you go through hardships and decide not to surrender, that is strength.

形式系统的发展彻底改变了我们对数学的理解。

We are all experiments in progress.