"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."
理论计算机科学中的挑战不仅仅是解决问题，而是理解为什么它们难以解决。
AI是新电力。正如100年前电力几乎改变了一切一样，今天很难想象未来几年AI不会改变哪个行业。
The pursuit of mathematical truth is a pursuit of beauty, elegance, and simplicity.
Writing is a matter of finding a voice, and then having the courage to use it.
别让别人的意见淹没了你内心的声音。