数学直觉常常指导算法的发展，但确保其正确性和效率的是严格的证明。
Mathematical intuition often guides the development of algorithms, but it is the rigorous proof that ensures their correctness and efficiency.
数字化转型不是用技术取代人，而是用更好的工具赋能我们的员工。
研究中最大的回报是知道你的工作可以拯救生命。
The world is full of magic things, patiently waiting for our senses to grow sharper.
The atmosphere doesn't care about political boundaries when it comes to climate change.
Tragedy is when I cut my finger. Comedy is when you walk into an open sewer and die.
On pivoting: "If you're not stubborn， you'll give up on experiments too soon. And if you're not flexible， you'll pound your head against the wall and you won't see a different solution to a problem you're trying to solve."