The night is a great cathedral, but the stars are its windows.

I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.

The challenge is to make the invisible visible.

不要等待创新的许可——直接开始吧。

当团队成员彼此信任到足以放弃个人利益而为集体利益付出时，好的团队就会变得伟大。

在智能电动汽车时代，软件将定义汽车。

In this trifling affair， that misunderstandings and neglect occasion more mischief in the world than even malice and wickedness. At all events， the two latter are of less frequent occurrence.

决定不做什么和决定做什么同样重要。

I don’t play for the fame or the money. I play because I love competing.