用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
（关于最优选择方法论）在餐厅你是点你知道的好吃的还是试试新菜？你会投资制造已经知道好卖的东西，还是尝试推出新产品？你是继续约会新人，还是试着对已经认识的人做出承诺？继续寻找新事物 vs 最大化收获已有事物价值的最优平衡点是：1/3。把1/3的时间花在探索上，2/3的时间花在深化上。随着年龄的增长，将时间投入到探索和尝鲜中是比较困难的，因为花费的时间似乎是低效，但请尽量试到1/3处再决策。
Music has the power to heal and bring people together.
Sustainability isn't a cost—it's an investment in resilience and long-term growth.
The world is everything that is the case.
So what I want to argue for is not that we should give up on our ideas of success, but we should make sure that they are our own. We should focus in on our ideas, and make sure that we own them; that we are truly the authors of our own ambitions. Because it's bad enough not getting what you want, but it's even worse to have an idea of what it is you want, and find out, at the end of the journey, that it isn't, in fact, what you wanted all along.