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 a finite problem.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
Innovation is not just about creating new products; it's about rethinking how we do everything.
Art is not a mirror to reflect the world, but a hammer with which to shape it.
I think the key to success is to be passionate about what you're doing.
我是那种疯狂的人，如果我打了一个女孩的嘴而她还在笑。
财富是人类思考能力的产物。
跨境合作对于打击非法采伐至关重要。
I don’t let the future define me, I let it refine me.
最好的故事是那些为读者的想象力留出空间的故事。
预测未来的最好方法就是去创造它。