Technology should solve real problems, not just create new toys.

语出西汉·桓宽《盐铁论·力耕》 。治理家庭不能靠一件财宝；治理国家，不能靠一种方法。

债券市场是市场情绪的最终衡量标准。

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

我认为保持脚踏实地并记住你来自哪里是很重要的。

我们必须考虑每一项技术进步对环境的影响。