Carpenters uses trig and pythagorean theorem all the time, but I don’t think they care if it was human or robot that told them the math formulas they need to build a roof.