The most important property of a program is whether it accomplishes the intention of its user.
作为电影制作人,我们有责任反映世界的现状,但也有责任反映它可能的样子。
朗兰兹纲领不是一个理论,而是一个由猜想和定理构成的网络,如果完全建立起来,它将统一数论和表示论。
寻找高效算法不仅仅是一个技术挑战;它是一次深入复杂性核心的旅程。
失败只是通往成功的垫脚石。它不是终点,只是旅程的一部分。