联想之星投资“姜歌机器人”，后者主打仓储物流场景AMR机器人