我认为,即使不喜欢现实,也应该承认现实;事实上,尤其是在不喜欢现实的时候。
I think that one should recognize the reality even when one doesn't like it; indeed, especially when one doesn't like it.
I'm not the next Usain Bolt, I'm the first Usain Bolt.
形式系统的发展彻底改变了我们对数学的理解。
Sustainability is not an option, it's a responsibility.
Challenges are opportunities to innovate and grow.