我们必须记住,历史是由胜利者书写的,但记忆却是由失败者保存的。
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 a finite problem.
人比事物更需要被修复、更新、复兴、回收和救赎;永远不要抛弃任何人。
创新不仅仅是技术,而是改变我们的思维和运作方式。