Elon Musk will mit KI Zeit an Ampeln sparen