Space “cubically” with shapes that act like spheres? A proof at the intersection of geometry and theoretical computer science says yes.