用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。

The most beautiful people are those who have known defeat, known suffering, known struggle, known loss, and have found their way out of the depths.

The future of AI lies in understanding causality, not just correlation.

The consequences of this problem make themselves felt in bookshops. When you go to a large bookshop and look at the self-help sections, as I sometimes do -- if you analyze self-help book sproduced in the world today, there are basically two kinds. The first kind tells you, "You can do it! You can make it! Anything's possible!" The other kind tells you how to cope with what we politely call "low self-esteem," or impolitely call, "feeling very bad about yourself."