US formally investigates Tesla Autopilot system | Dark Hacker News