I hope it will not be long before we have a machine that will be able to solve all mathematical problems.

I am a writer because I need to tell stories. It's a way of understanding life.

I think that the most important thing in life is to be true to yourself.

生活是一系列的时刻，有些明亮，有些黑暗，但都是必不可少的。

我们要坚持自主研发，掌握核心技术。