Curiosity is the engine of innovation.

Theatre is a place where we can lose ourselves and find ourselves at the same time.

Sometimes it seems as if there are more solutions than problems. On closer scrutiny, it turns out that many of today's problems are a result of yesterday's solutions.

I distrust anything that starts with a capital letter.

使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。

我一直是一个追随内心的人。