MAGICIAN active mapping uses imagined 3D Gaussians to help robots plan exploration and reduce redundant physical paths · Digg