使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
To love is to risk not being loved in return. To hope is to risk pain. To try is to risk failure, but risk must be taken because the greatest hazard in life is to risk nothing.
The greatest enemy of knowledge is not ignorance, it is the illusion of knowledge.
音乐是我的逃避。
永远挑战现状——这就是进步的方式。
我很害羞，信不信由你。
An understanding of the natural world and what's in it is a source of not only a great curiosity but great fulfillment.
Compliment people behind their back. It’ll come back to you.