戴森球计划主角机器人叫什么名字