英国伦敦医院为患者实施全球首例AI实时辅助脑外科手术，切除脑垂体肿瘤，患者已康复。