"Drama is the collision of contradictions."

计算的未来将由人类的创造力定义，而不仅仅是硅片。

宇宙是一个巨大的、相互连接的信息网络，而量子力学是解锁其秘密的关键。

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.

I think you have to have an attitude of willingness to accept failure, which is part of innovation.