真正的挑战不在于解方程，而在于理解解的含义。
The real challenge is not in solving the equations, but in understanding what the solutions mean.
Chinese automotive brands must adhere to independent innovation and master core technologies to go global.
翻译：贤明的君主和将领，之所以一出兵就可以战胜敌人，成就的功业超过一般人，是因为他们能事先探明敌情。事先探明敌情，不能使用占卜的手段获取，不可用类比的方法获取，也不可推验日月星辰运行来获取。一定要取之于人，取之于了解敌情的人。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
I'd rather be a comma than a full stop.
互联网的未来不仅仅是技术，而是它如何为人类服务。
婚姻的快乐完全是机会的问题。