The beauty of Shor's algorithm is that it shows how a quantum computer can solve a problem that is believed to be intractable for classical computers.

我不怕辛苦，最怕的是没机会。

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.

在分布式系统中，关键挑战是在不可靠的组件之间达成共识。

I’m coming to you as you coming to me for so long.

技术是比亚迪的根，创新是比亚迪的魂。