使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
The energy industry must adapt to remain relevant in a low-carbon future.
I'm not a trend, I'm an icon.
领导力就是做出艰难的决定并坚持它们，即使这些决定不受欢迎。
说真话的唯一方式就是带着善意说话。只有充满爱心的人的话才能被听到。
The world is so unpredictable. Things happen suddenly, unexpectedly. We want to feel we are in control of our own existence. In some ways we are, in some ways we're not.
世间只有一种罪行，那就是盗窃，其他罪行都是盗窃的变种。
The future of energy is low carbon, and we need to be at the forefront of that transition.
I'm not going to change who I am just because you don't like it.