我们即将到来:今天,我们的程序证明了费马的倒数第二个定理。
We are on the verge: Today our program proved Fermat's next-to-last theorem.
The harder you work, the luckier you get.
A ship in port is safe, but that's not what ships are built for.
变化是不可避免的,你如何应对决定了你的成功。
引用计算机科学家Alan Kay的观点