永远不要低估拥有远大愿景的小团队的力量。
Never underestimate the power of a small team with a big vision.
如果你竞争对手为中心，你就不得不等待你的竞争对手有所作为。如果你以客户为中心，你就会更具有开拓性。
人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。
风险管理不是回避挑战，而是为挑战做好准备。
奥林匹克精神既不是一个种族的财产，也不是一个时代的财产。
跨越国界和学科的合作是应对全球健康挑战的唯一途径。