我认为数学之所以有价值，是因为它具有这种令人难以置信的结构，你可以探索和发现。
I think that the thing that makes mathematics worthwhile is the fact that it has this incredible structure that you can explore and discover.
The energy transition won't happen overnight, but we must make progress every day.
"The world is a tragedy to those who feel, but a comedy to those who think."
语法和语义之间的相互作用是形式语言研究的核心。
The best revenge is massive success.
我不害怕失败，我害怕不去尝试。