用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
I wanted to create something that would make my community proud, something that would show we can do great things with our own hands.
你不知道的事情不会伤害你,但可能会杀死你。
You can't just give up on someone because the situation's not ideal.