用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
真正的创新往往来自意想不到的方向。
“邪恶胜利的唯一必要条件是好人无所作为。”
“我们讲述的故事塑造了我们的现实,但它们也有将我们困在幻觉中的力量。”
Without core technology, there is no say.
数学中的合作可以带来任何单一思维都无法独自实现的发现。