A Tesla Veteran Is Running a Copper Mine with AI-Powered Robots