This title is misleading. It makes it seem like the robots did this autonomously, when in reality hundreds if workers were involved. The “robots” were “smart jacks” I would say. Humans couldn’t have done this without hydraulic jacks, they used fancy hydraulic jacks.
replies(4):