我认为数学家更像艺术家，而不是科学家。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

I wanted to discover myself, the reason I was born, and the meaning of life.

The beauty of cinema lies in its ability to make us feel less alone.

艺术提供的是空间——一种精神的喘息空间。