A mathematician is a device for turning coffee into theorems.
人工智能的目标应该是增强人类智能,而不是取代它。