清华大学人工智能专家离世