智能化不是替代人类,而是增强人类的能力。
世界充满了奇迹,但当我们分享它们时,它们变得更加奇妙。
I don’t want my art to be comfortable. I want it to make people think.
"The past is always carried into the present by small things."
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 probably not important to mathematics.