I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
Never underestimate the power of a motivated team.
管理复杂性的关键在于关注组件之间的接口,而不是它们的实现。